Call & Interpreter API

The interpreter class is the working horse. On the knowledge base side the interpreter supports initialization and the definition of deterministic and non-deterministic Java foreign predicates. On the term side the interpreter supports parsing and un-parsing of terms. The interpreter also supports variable and compound creation, as well as unification. Finally the interpreter provides a set of methods to invoke deterministic and non-deterministic Prolog goals. The call-in class is used when non-deterministically calling Prolog whereas the call-out class is used by non-deterministic Java foreign predicates.

This part of the API consists of the following classes: