Class Summary |
Atom |
Atom is a specialised Compound with zero arguments, representing a Prolog atom with the same name. |
Compound |
A Compound represents a structured term,
comprising a functor and arguments (Terms). |
Float |
Float is a specialised Term with a double field, representing a Prolog 64-bit ISO/IEC floating point value. |
Integer |
Integer is a specialised Term with a long field, representing a Prolog integer value. |
JBoolean |
A jpl.JBoolean is a specialised Term with a boolean field, representing JPL's Prolog representation of a Java boolean value. |
JPL |
The jpl.JPL class contains methods which allow (i) inspection and alteration
of the "default" initialisation arguments (ii) explicit initialisation
(iii) discovery of whether the Prolog engine is already initialised,
and if so, with what arguments. |
JRef |
JRef is a specialised Term with an Object field, representing JPL's Prolog references to Java objects (or to null). |
JVoid |
A jpl.JVoid is a specialised Term. |
Query |
A Query instance is created by an application in order to query the Prolog engine. |
Term |
Term is the abstract base class for
Compound, Atom, Variable, Integer and Float, which comprise a Java-oriented concrete syntax for Prolog. |
Test |
|
Util |
This class provides a bunch of static utility methods for the JPL
High-Level Interface. |
Variable |
This class supports Java representations of Prolog variables. |