A.6.2 Interface Functions

There are three additional ways to call logic, which are described in this section.

A.6.2.1 any, findall and findallset

A.6.2.2 deflogfun

A.6.2.3 with-prolog

KnowledgeWorks and Prolog User Guide (Unix version) - 26 Feb 2015