Package jpl

Class Summary

Class	Description
Atom	An Atom is a Term with a name field.
Compound	A Compound is a base class for all of the compound class types (e.g., List, Tuple, etc.), but it can also be instantiated to produce, for example, any functional expression.
Float_JPL	A Float is a Term with a double field.
Integer_JPL	An Integer is a Term with an int field.
JPL	The JPL class contains initialization and termination methods for the High-Level interface.
JPLUtil	This class provides a bunch of static utility methods for the JPL High-Level Interface.
List	A List is a Compound, but with just two args, a head and a tail.
List.Nil	The Nil class is used to terminate a List.
Long_JPL	A Long is a Term with an int field.
Query	A Query is an Object used to query the Prolog engine.
String_JPL	A String is a Term with a java.lang.String value.
SWIUtil
Term	A Term is a base class for the many different kinds of Term (Atom, Variable, Compound, etc.).
Tuple	A Tuple is a Compound, used to represent Prolog tuples, the closest thing Prolog has to a data structure.
Tuple.Pair	A Pair is a two-element Tuple
Variable	This class provides a Java represenation of a Prolog Variable.

Exception Summary

Exception	Description
JPLException	This base class for JPL Exceptions is thrown from various methods in JPL.
PrologException	An exception of this type is thrown if, in evaluating a Query, an exception is thrown in Prolog via the Prolog throw/1 predicate.
QueryInProgressException	An exception of this type is thrown if a Query is made while another Query is in progress, for example, if the JPL programmer has negglected to close a query by exhausting all solutions or by failing to rweind() a Query, or in multi-threaded situations.