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).
\+
