Class Summary | |
---|---|
Atom | Atom is a specialised Compound with zero arguments, representing a Prolog atom with the same name. |
atom_t | An atom_t is a specialised LongHolder which decrements its atom's reference count when garbage-collected (finalized). |
BooleanHolder | A BooleanHolder is merely a Holder class for a boolean value. |
Compound | A Compound represents a structured term, comprising a functor and arguments (Terms). |
DoubleHolder | A DoubleHolder is merely a Holder class for a double value. |
engine_t | A engine_t holds a reference to a Prolog engine. |
fid_t | An fid_t holds the value of a frame id in the Prolog Engine. |
functor_t | A functor_t holds a reference to a Prolog functor_t in the Prolog engine. |
Float | Float is a specialised Term with a double field, representing a Prolog 64-bit ISO/IEC floating point value. |
Int64Holder | An Int64Holder is merely a Holder class for an int64 value. |
Integer | Integer is a specialised Term with a long field, representing a Prolog integer value. |
IntHolder | An IntHolder is merely a Holder class for an Int 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. |
JPLException | This is the base class for exceptions thrown by JPL's Java-calls-Prolog interface. |
JRef | JRef is a specialised Term with an Object field, representing JPL's Prolog references to Java objects (or to null). |
LongHolder | A Long Holder merely holds a long value. |
module_t | A module_t is a PointerHolder type which holds a reference to a Prolog module_t reference. |
ObjectHolder | A ObjectHolder is merely a Holder class for an Object reference (or null). |
predicate_t | A predicate_t is a PointerHolder class whose value is a reference to a Prolog predicate_t. |
PointerHolder | A PointerHolder is a trivial extension of a LongHolder. |
Prolog | This class consists only of constants (static finals) and static native methods. |
PrologException | PrologException instances wrap Prolog exceptions thrown (either by a Prolog engine or by user code) in the course of finding a solution to a Query. |
qid_t | A qid_t holds a reference to a Prolog qid_t. |
Query | A Query instance is created by an application in order to query the Prolog database (or to invoke a built-in predicate). |
StringHolder | A StringHolder is merely a Holder class for a String value. |
term_t | A term_t is a simple class which mirrors the term_t type in the Prolog FLI. |
Term | Term is the abstract base class for Compound, Atom, Variable, Integer and Float, which comprise a Java-oriented concrete syntax for Prolog. |
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. A jpl.Variable instance is equivalent to a variable in a fragment of Prolog source text: it is *not* a "live" variable within a Prolog stack or heap. |
Version |