| Interface | Description |
|---|---|
| Prolog | |
| PrologException |
Represents an exception thrown by a Prolog object.
|
| Query |
Objects implementing this interface are used for holding a query-reference
which is used to find multiple solutions to a query.
|
| Term |
Terms are Java representations of Prolog terms.
|
| Class | Description |
|---|---|
| Jasper |
This class provides the multi-threaded functionality of the Java-Prolog
interface.
|
| SICStus |
This class encapsulates the SICStus emulator and provides the basic
functionality for interacting with Prolog.
|
| SPCanonicalAtom |
The SPCanonicalAtom class encapsulates the canonical representation of a
Prolog atom, which is usually a 32 or 64-bit integer.
|
| SPPredicate | Deprecated
Instead use module and predicate name as strings directly or
specify the goal as a string.
|
| SPQuery |
This class is used for holding a query-reference which is used to find
multiple solutions to a query.
|
| SPTerm |
SPTerms are Java representations of Prolog terms.
|
| Exception | Description |
|---|---|
| AtomRegisterFailure |
Thrown if
SPCanonicalAtom could not register or unregister a
canonical atom representation. |
| ConversionFailedException |
Thrown if a Java value cannot be converted to a Prolog term.
|
| IllegalCallerException |
Thrown if SICStus runtime is called from a thread which is not the creator of
the SICStus runtime.
|
| IllegalTermException |
Thrown if trying to use a (no longer) valid
SPTerm. |
| SPException |
Represents a exception thrown by Jasper.
|