Class Summary |
ObjectExamplePair |
The class wrapping the information that will allow Prolog to later specify Java objects. |
PrologEngine |
The heart of InterProlog; a PrologEngine represents a Prolog abstract machine instance. |
PrologOperatorsContext |
Represents a set of Prolog operator declarations, to provide TermModel with knowledge
for toString() |
SubprocessEngine |
A PrologEngine implemented over TCP/IP sockets. |
TermModel |
Represents a Prolog term, as a tree of TermModel objects, each containing a term node and a children list. |