| Class | Description |
|---|---|
| Atom |
Atom is a specialised Term, representing a Prolog atom with the same name.
|
| Compound |
A Compound represents a structured term, comprising a functor and one or more arguments (Terms).
|
| Dict |
Dict is a specialised Term representing a Prolog dictionary of the form Tag{Key1:Value1, Key2:Value2, ...}.
|
| 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 representing a Prolog integer value; if the value fits, it is held in a long field,
else as a BigInteger.
|
| JPL |
The jpl.JPL class contains static 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 a (non-null, non-String) Object field, representing JPL 7.4's Prolog references to Java objects, e.g.
|
| Query |
A Query instance is created by an application in order to query the Prolog
database (or to invoke a built-in predicate).
|
| Rational |
Rational is a specialised Term representing a Prolog rational value.
|
| 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 to support JPL's Java API.
|
| Variable |
This class supports Java representations of Prolog variables.
|
| Exception | Description |
|---|---|
| JPLException |
This is the base class for exceptions thrown by JPL's Java-calls-Prolog
interface.
|
| 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.
|