Uses of Package
alice.tuprolog

Packages that use alice.tuprolog

alice.tuprolog
alice.tuprolog.lib

Classes in alice.tuprolog used by alice.tuprolog

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
This exeption means that a not valid tuProlog variable 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.

LibraryEvent
This class represents events concerning library management.

LibraryListener
Listener for library events

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

NullTerm
tuProlog Null Term, used only for implementation purpose.

Number
Number abstract class represents numbers prolog data type

OperatorManager
This class manages prolog operators

OutputEvent
This class defines an output event (after a write operation, for instance) generated by the prolog core

OutputListener
This interface defines the method handling output event generated by a prolog engine

Prolog
The Prolog class represents a tuProlog engine.

PrologEvent
Base class for engine event

PrologException
Base class for tuProlog exceptions.

QueryEvent
This class represents events concerning query management.

QueryListener
Listener for query events

SolveInfo
SolveInfo class represents the result of a solve request made to the engine, providing information about the solution

SpyEvent
This class defines an internal event generated by the prolog core

SpyListener
This interface defines the method handling internal event generated by a prolog engine

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.

TheoryEvent
This class represents events occurring in theory management.

TheoryListener
Listener for theory events

UnknownVarException
This exception means that a not well formed goal has been specified.

Var
This class represents a variable term.

WarningEvent
This class defines an event defining a warning emitted by a prolog engine

WarningListener
This interface defines the method handling a warning generated by a prolog engine

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

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