Remember that a * query* ** foo(X)** is really asking something akin
to whether (in predicate logic) ** X foo(X)**.
How do we ask ** X foo(X)**? The answer, for situations where
there are (obviously) a finite set of solutions is to use one of
two special built-in predicates.

Mon May 24 20:14:48 BST 1999