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.