next up previous contents
Next: The Three Forms Up: Prolog Programming A Previous: What You Should



An operator is a predicate which has some special properties.

Here is a list of ones we have met already:

Note that \+/1 is an operator. So we can write \+(man(jim)) as \+ man(jim).

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