GNU Prolog for Java

Package gnu.prolog.vm

The Virtual Machine which is used to run the prolog code.

See:
          Description

Interface Summary
HasAtom Implementing classes have an AtomTerm which can be got.
HasEnvironment Implementing classes can return an environment.
Installable Implementing classes can be installed and uninstalled into the Environment.
PrologCode Implementing classes can be executed and return a return code of PrologCode.SUCCESS, PrologCode.SUCCESS_LAST, or PrologCode.FAIL.
PrologCodeListener listener for changes in prolog code
 

Class Summary
BacktrackInfo back track information base class
EnvInitializer Environment Initializers can be used to initialize the prolog environment with additional builtin predicates.
Environment this class represent prolog processor.
Evaluate Evaluates mathematical expressions as instructed by the is predicate and equality testing terms.
ExecuteOnlyCode For Predicates which do not need to be installed or uninstalled.
Interpreter This class represent interpreter, it should be used only from one thread If you need to use interpreter from two threads, create new interpreter from Environment
Interpreter.Goal user level calls
PrologCodeUpdatedEvent Event that indicates changes in prolog code.
PrologCollectionIterator Generic collection iterator which can be used by PrologCode implementations.
TermConstants Stores all the commonly used terms for easy access.
UndefinedPredicateCode An Undefined Predicate throws an error on execution depending on the value of the unknown flag.
 

Enum Summary
Environment.DoubleQuotesValue The possible values of the double_quotes flag
 

Exception Summary
PrologException a prolog exception
 

Error Summary
PrologHalt Thrown by the halt/1 prolog predicate to stop the interpreter
 

Package gnu.prolog.vm Description

The Virtual Machine which is used to run the prolog code. The principle class is Environment each instance of Environment is an entire VM. From an instance of Environment instances of Interpreter which are used for running goals.


GNU Prolog for Java