| Interface | Description |
|---|---|
| InterprologConstants | |
| LPSEngine.CycleHandler | |
| PrologEngine |
The heart of InterProlog; a PrologEngine represents a Prolog machine instance.
|
| PrologEngineListener |
If you're interested in an engine's overall activity, implement this interface on your class and make your
object a listener to a PrologEngine.
|
| PrologOutputListener |
If you're interested in Prolog's textual output, implement this interface on your class and make your
object a listener to a SubprocessEngine
|
| TermModelListener |
If you're interested in knowing that a (Java) term representation has changed implement this.
|
| Class | Description |
|---|---|
| AbstractPrologEngine |
The heart of InterProlog; a PrologEngine represents a Prolog machine instance.
|
| EngineController |
An auxiliary object which listens to a PrologEngine and depending on its state will enable/disable a bunch of UI Components and/or Actions.
|
| FloraSubprocessEngine |
A PrologEngine encapsulating a XSB Prolog engine, accessed over TCP/IP sockets, and running the Flora2 shell.
|
| GNUPeer | |
| GNUSubprocessEngine |
A PrologEngine encapsulating a GNU Prolog engine, accessed over TCP/IP sockets.
|
| InitiallyFlatTermModel |
A TermModel specialization so serialization is done faster, based on string representations of the term.
|
| JavaStateCaching |
Utilities for caching specific Java state items as Prolog facts
|
| LPSEngine | |
| ObjectExamplePair |
The class wrapping the information that will allow Prolog to later specify Java objects.
|
| PrologImplementationPeer |
Centers most of the Prolog implementation-dependent information
|
| PrologOperatorsContext |
Represents a set of Prolog operator declarations, to provide TermModel with knowledge
for toString().
|
| PrologOperatorsContext.PrologOperator | |
| SolutionIterator |
An Iterator object that actually evaluates a goal and collects its solutions incrementally.
|
| SubprocessEngine |
A PrologEngine implemented over TCP/IP sockets.
|
| SubprocessEngine.OutputDumper |
Useful for testing
|
| SWIPeer | |
| SWISubprocessEngine |
A PrologEngine encapsulating a SWI Prolog engine, accessed over TCP/IP sockets.
|
| TermModel |
Represents a Prolog term, as a tree of TermModel objects, each containing a term node and a children list.
|
| XSBPeer | |
| XSBSubprocessEngine |
A PrologEngine encapsulating a XSB Prolog engine, accessed over TCP/IP sockets.
|
| YAPPeer | |
| YAPSubprocessEngine |
A PrologEngine encapsulating a YAP Prolog engine, accessed over TCP/IP sockets.
|