|
Class Summary |
| Agent |
Provides a prolog virtual machine embedded in a separate thread. |
| Double |
Double class represents the double prolog data type |
| Float |
Float class represents the float prolog data type |
| Int |
Int class represents the integer prolog data type |
| Library |
This abstract class is the base class for developing
tuProlog built-in libraries, which can be dynamically
loaded by prolog objects. |
| LibraryEvent |
This class represents events concerning library management. |
| Long |
Long class represents the long prolog data type |
| NullTerm |
tuProlog Null Term, used only for implementation purpose. |
| Number |
Number abstract class represents numbers prolog data type |
| Operator |
This class defines a tuProlog operator, in terms of a name,
a type, and a priority. |
| OperatorManager |
This class manages prolog operators |
| OutputEvent |
This class defines an output event (after a write operation, for instance)
generated by the prolog core |
| Parser |
This class defines a parser of
prolog terms and sentences. |
| Prolog |
The Prolog class represents a tuProlog engine. |
| PrologEvent |
Base class for engine event |
| PrologEventAdapter |
|
| QueryEvent |
This class represents events concerning query management. |
| SolveInfo |
SolveInfo class represents the result of a solve
request made to the engine, providing information
about the solution |
| SpyEvent |
This class defines an internal event
generated by the prolog core |
| Struct |
Struct class represents both compound prolog term
and atom term (considered as 0-arity compound). |
| Term |
Term class is the root abstract class for prolog data type |
| Theory |
This class represents prolog theory which can be provided
to a prolog engine. |
| TheoryEvent |
This class represents events occurring in theory management. |
| Var |
This class represents a variable term. |
| WarningEvent |
This class defines an event defining a warning emitted by
a prolog engine |