Uses of Package
alice.tuprolog

Packages that use alice.tuprolog

Package	Description
alice.tuprolog
alice.tuprolog.clausestore
alice.tuprolog.event
alice.tuprolog.hgdb
alice.tuprolog.lib
alice.tuprologx
alice.tuprologx.ide
alice.tuprologx.runtime.corba
alice.tuprologx.runtime.rmi
alice.tuprologx.runtime.tcp

Classes in alice.tuprolog used by alice.tuprolog

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.
ClauseStoreFactory
ClauseStoreManager
Engine
EngineManager
ExecutionContext
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
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.
LibraryManager
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
PrimitiveInfo Primitive class referring to a builtin predicate or functor
PrimitiveManager Administration of primitive predicates
Prolog The Prolog class represents a tuProlog engine.
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
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.

Classes in alice.tuprolog used by alice.tuprolog.clausestore

Class and 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
Prolog The Prolog class represents a tuProlog engine.
Struct Struct class represents both compound prolog term and atom term (considered as 0-arity compound).
SubGoalTree
Term Term class is the root abstract class for prolog data type

Classes in alice.tuprolog used by alice.tuprolog.event

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.

Classes in alice.tuprolog used by alice.tuprolog.hgdb

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.
Prolog The Prolog class represents a tuProlog engine.
Term Term class is the root abstract class for prolog data type

Classes in alice.tuprolog used by alice.tuprolog.lib

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.
Number Number abstract class represents numbers prolog data type
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.

Classes in alice.tuprolog used by alice.tuprologx

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

Classes in alice.tuprolog used by alice.tuprologx.ide

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
Theory This class represents prolog theory which can be provided to a prolog engine.

Classes in alice.tuprolog used by alice.tuprologx.runtime.corba

Class and Description
InvalidLibraryException This exception means that a not valid tuProlog library has been specified.

Classes in alice.tuprolog used by alice.tuprologx.runtime.rmi

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.

Classes in alice.tuprolog used by alice.tuprologx.runtime.tcp

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.