Class Summary |
AbstractSubGoalTree |
|
Agent |
Provides a prolog virtual machine embedded in a separate thread.
|
BuiltIn |
Library of built-in predicates |
ChoicePointContext |
|
ChoicePointStore |
|
ClauseInfo |
This class mantains information about a clause creation
(clause copy, final time T after renaming, validity stillValid Flag).
|
ClauseStore |
A list of clauses belonging to the same family as a goal. |
DefaultSubGoalId |
Identifier of single subGoal during the demo. |
Double |
Double class represents the double prolog data type |
Engine |
|
EngineManager |
|
ExecutionContext |
|
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.
|
Long |
Long class represents the long prolog data type |
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. |
Parser |
This class defines a parser of prolog terms and sentences.
|
PrimitiveInfo |
Primitive class
referring to a builtin predicate or functor |
PrimitiveManager |
Administration of primitive predicates |
Prolog |
The Prolog class represents a tuProlog engine. |
SolveInfo |
SolveInfo class represents the result of a solve
request made to the engine, providing information
about the solution |
StateBacktrack |
|
StateEnd |
|
StateGoalEvaluation |
|
StateGoalSelection |
|
StateInit |
|
StateRuleSelection |
|
Struct |
Struct class represents both compound prolog term
and atom term (considered as 0-arity compound). |
SubGoalElement |
|
SubGoalStore |
|
SubGoalTree |
|
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.
|
TheoryManager |
This class defines the Theory Manager who manages the clauses/theory often referred to as the Prolog database.
|
Var |
This class represents a variable term.
|