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

KnowledgeWorks and Prolog User Guide (Windows version) - 29 Feb 2008