Package alice.tuprolog

Interface Summary
IPrimitives Template for predicate
SubGoalId Identifier of single subGoal during the demo.
 

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.
 

Exception Summary
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.