A.6.2 Interface Functions

Three simple interface functions call logic . They are ANY , FINDALL , and FINDALLSET . Each takes two arguments: a result expression to instantiate and a goal expression. ANY returns the first solution found. FINDALL returns all solutions. FINDALLSET returns all solutions deleting duplicates.

A.6.2.1 Examples

A.6.2.2 Example

A.6.2.3 Example