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