Package alice.tuprolog

Interface Summary

Interface	Description
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.
ClauseStoreFactory
IPrimitives	Template for predicate
SubGoalId	Identifier of single subGoal during the demo.

Class Summary

Class	Description
AbstractSubGoalTree
Agent	Provides a prolog virtual machine embedded in a separate thread.
BuiltIn	Library of built-in predicates
ChoicePointContext
ChoicePointStore
ClauseStoreManager
DefaultClauseInfo
DefaultClauseStore
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.
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.
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.

Exception Summary

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 exeption means that a not valid tuProlog term has been specified.
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.