Name: Anonymous 2012-07-20 1:48
What would an infinite loop in pure prolog look like? How hard would it be to construct a subset of prolog in which termination is guaranteed? Total functional declarative and imperative languages exist, but I don't know of any that are logical.