|
|||||||||
| Home >> All >> alice >> [ tuprolog overview ] | PREV NEXT | ||||||||
Uses of Package
alice.tuprolog
| Classes in alice.tuprolog used by alice.tuprolog | |
| ClauseInfo
class mantaining information about a clause creation ( Clause copy, final time T after renaming, validity flag Flag). |
|
| GoalInfo
runtime info about goal to demonstrate |
|
| InvalidLibraryException
|
|
| InvalidTheoryException
|
|
| InvalidVarNameException
|
|
| Library
this abstract class is the base class for developing tuProlog built-in libraries, which can be dynamically loaded by prolog objects. |
|
| MalformedGoalException
|
|
| NoHaltException
|
|
| NoMoreSolutionException
|
|
| NoSolutionException
|
|
| OperatorManager
collects and manages prolog operators |
|
| OutputEvent
output event (after a write operation, for instance) generated by prolog core |
|
| OutputListener
|
|
| Parser
prolog terms and sentences parser |
|
| Prolog
It's the main class of the tuProlog system. |
|
| PrologVM
the tuprolog virtual machine. |
|
| RTContext
runtime execution context during a demonstration. |
|
| SolveInfo
interface of objects returned by engine when invoking a demonstration |
|
| SpyEvent
internal core event |
|
| SpyListener
|
|
| StateEvent
core state event |
|
| StateListener
|
|
| Struct
Struct class represents both compound prolog term and alphanumeric atom term (considered as 0-arity compound). |
|
| Substitution
helper class that represents substituion found in a goal demonstrartion |
|
| Term
root class for prolog data term. |
|
| Theory
Represents prolog theory which can be provided to prolog object. |
|
| TheoryManager
dbase clauses manager. |
|
| Token
represents a token read by the prolog term tokenizer |
|
| Tokenizer
tokenizer for prolog terms |
|
| Var
prolog variable implementation. |
|
|
|||||||||
| Home >> All >> alice >> [ tuprolog overview ] | PREV NEXT | ||||||||