next up previous contents
Next: repeat/0 Up: Some Useful Predicates Previous: true/0

fail/0

Always fails.

 
lives_forever(X):-

fail.

is intended to mean that any attempt to solve the goal lives_forever(X) will fail.



Paul Brna
Mon May 24 20:14:48 BST 1999