next up previous contents
Next: setof/3 Up: Powerful Features Previous: @>/2@>=/2, @</2

Powerful Features ---Finding All Solutions

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.

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