Interface | Description |
---|---|
IPrimitives |
Template for predicate
|
ISolution<Q,S,T> | |
SubGoalId |
Identifier of single subGoal during the demo.
|
TermVisitor |
Class | Description |
---|---|
AbstractSocket | |
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.
|
Client_Socket | |
Datagram_Socket | |
DefaultSubGoalId |
Identifier of single subGoal during the demo.
|
Double |
Double class represents the double prolog data type
|
Engine | |
EngineManager | |
EngineRunner | |
ExecutionContext | |
Float |
Float class represents the float prolog data type
|
Int |
Int class represents the integer prolog data type
|
JavaException | |
Library |
This abstract class is the base class for developing
tuProlog built-in libraries, which can be dynamically
loaded by prolog objects.
|
LibraryManager | |
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.
|
OperatorManager |
This class manages Prolog operators.
|
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.
|
PrologError | |
RBTree<K extends Comparable<? super K>,V> |
Implements a Red Black Tree
Introduced by Paolo Contessi,
retrieved from: http://en.literateprograms.org/Red-black_tree_(Java)?
|
Server_Socket | |
SolveInfo |
SolveInfo class represents the result of a solve
request made to the engine, providing information
about the solution
|
StateBacktrack | |
StateEnd | |
StateException | |
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
|
TermQueue | |
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.
|
Tokenizer |
BNF for tuProlog
part 1: Lexer
digit ::= 0 .. 9
lc_letter ::= a .. z
uc_letter ::= A ..
|
Var |
This class represents a variable term.
|
Exception | Description |
---|---|
HaltException |
This exception is raised when an halt code is requested
and no halt predicate has been issued
|
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
|
InvalidVarNameException | Deprecated
Use InvalidTermException with a meaningful message instead.
|
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
|
PrologException |
Base class for tuProlog exceptions.
|
UnknownVarException |
This exception means that a not well formed goal has been specified.
|