Class and Description |
---|
AbstractSubGoalTree |
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.
|
Engine |
EngineManager |
ExecutionContext |
InvalidLibraryException
This exception means that a not valid tuProlog library has been specified.
|
InvalidTermException
This exception means that a method has been passed an argument
containing an invalid Prolog term.
|
InvalidTheoryException
This exceptions means that a not valid tuProlog theory has been specified
|
IPrimitives
Template for predicate
|
Library
This abstract class is the base class for developing
tuProlog built-in libraries, which can be dynamically
loaded by prolog objects.
|
MalformedGoalException
This exception means that a not well formed goal has been specified.
|
NoMoreSolutionException
This exception means that other solutions are asked but
actually no other ones exist.
|
NoSolutionException
This exception means that a solution is asked, but actually none exists
|
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.
|
PrimitiveInfo
Primitive class
referring to a builtin predicate or functor
|
PrimitiveManager
Administration of primitive predicates
|
Prolog
The Prolog class represents a tuProlog engine.
|
PrologError |
PrologException
Base class for tuProlog exceptions.
|
SolveInfo
SolveInfo class represents the result of a solve
request made to the engine, providing information
about the solution
|
Struct
Struct class represents both compound prolog term
and atom term (considered as 0-arity compound).
|
SubGoalId
Identifier of single subGoal during the demo.
|
SubGoalStore |
SubGoalTree |
Term
Term class is the root abstract class for prolog data type
|
TermVisitor |
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.
|
UnknownVarException
This exception means that a not well formed goal has been specified.
|
Var
This class represents a variable term.
|
Class and Description |
---|
Engine |
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
|
Theory
This class represents prolog theory which can be provided
to a prolog engine.
|
Class and Description |
---|
Library
This abstract class is the base class for developing
tuProlog built-in libraries, which can be dynamically
loaded by prolog objects.
|
SolveInfo
SolveInfo class represents the result of a solve
request made to the engine, providing information
about the solution
|
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.
|
Class and Description |
---|
IPrimitives
Template for predicate
|
JavaException |
Library
This abstract class is the base class for developing
tuProlog built-in libraries, which can be dynamically
loaded by prolog objects.
|
PrologError |
PrologException
Base class for tuProlog exceptions.
|
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.
|
Class and Description |
---|
InvalidLibraryException
This exception means that a not valid tuProlog library has been specified.
|
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
|
Class and Description |
---|
InvalidTheoryException
This exceptions means that a not valid tuProlog theory has been specified
|
Library
This abstract class is the base class for developing
tuProlog built-in libraries, which can be dynamically
loaded by prolog objects.
|
NoSolutionException
This exception means that a solution is asked, but actually none exists
|
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
|
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
|
UnknownVarException
This exception means that a not well formed goal has been specified.
|
Class and Description |
---|
IPrimitives
Template for predicate
|
Library
This abstract class is the base class for developing
tuProlog built-in libraries, which can be dynamically
loaded by prolog objects.
|
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
|
Class and Description |
---|
Double
Double class represents the double prolog data type
|
Int
Int class represents the integer prolog data type
|
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
|
Class and Description |
---|
InvalidLibraryException
This exception means that a not valid tuProlog library has been specified.
|
Class and Description |
---|
InvalidTheoryException
This exceptions means that a not valid tuProlog theory has been specified
|
MalformedGoalException
This exception means that a not well formed goal has been specified.
|
NoMoreSolutionException
This exception means that other solutions are asked but
actually no other ones exist.
|
SolveInfo
SolveInfo class represents the result of a solve
request made to the engine, providing information
about the solution
|
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.
|
Class and Description |
---|
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
|
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.
|