Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
$
A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
$
$append_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
$call_1(Term)
- Method in class alice.tuprolog.
BuiltIn
It is the same as call/1, but it is not opaque to cut.
$find_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
$fromlist_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
$load_library_1(Term)
- Method in class alice.tuprolog.
BuiltIn
$op_3(Term, Term, Term)
- Method in class alice.tuprolog.
BuiltIn
$retract_1(Term)
- Method in class alice.tuprolog.
BuiltIn
$tolist_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
A
AbstractSubGoalTree
- class alice.tuprolog.
AbstractSubGoalTree
.
AbstractSubGoalTree()
- Constructor for class alice.tuprolog.
AbstractSubGoalTree
Agent
- class alice.tuprolog.
Agent
.
Provides a prolog virtual machine embedded in a separate thread.
Agent(String)
- Constructor for class alice.tuprolog.
Agent
Builds a prolog agent providing it a theory
Agent(String, String)
- Constructor for class alice.tuprolog.
Agent
Builds a prolog agent providing it a theory and a goal
Agent(InputStream)
- Constructor for class alice.tuprolog.
Agent
Constructs the Agent with a theory provided by an input stream
Agent(InputStream, String)
- Constructor for class alice.tuprolog.
Agent
Constructs the Agent with a theory provided by an input stream and a goal
abolish_1(Term)
- Method in class alice.tuprolog.
BuiltIn
add(ChoicePointContext)
- Method in class alice.tuprolog.
ChoicePointStore
addChild(Term)
- Method in class alice.tuprolog.
SubGoalTree
addChild()
- Method in class alice.tuprolog.
SubGoalTree
addLibraryListener(LibraryListener)
- Method in class alice.tuprolog.
Prolog
Adds a listener to library events
addOutputListener(OutputListener)
- Method in class alice.tuprolog.
Agent
Adds a listener to ouput events
addOutputListener(OutputListener)
- Method in class alice.tuprolog.
Prolog
Adds a listener to ouput events
addQueryListener(QueryListener)
- Method in class alice.tuprolog.
Prolog
Adds a listener to theory events
addSpyListener(SpyListener)
- Method in class alice.tuprolog.
Prolog
Adds a listener to spy events
addTheory(Theory)
- Method in class alice.tuprolog.
Prolog
Adds (appends) a theory
addTheoryListener(TheoryListener)
- Method in class alice.tuprolog.
Prolog
Adds a listener to theory events
addWarningListener(WarningListener)
- Method in class alice.tuprolog.
Prolog
Adds a listener to warning events
alice.tuprolog
- package alice.tuprolog
alice.tuprolog.event
- package alice.tuprolog.event
append(Term)
- Method in class alice.tuprolog.
Struct
Appends an element to this structure supposed to be a list
append(Theory)
- Method in class alice.tuprolog.
Theory
Adds (appends) a theory to this.
asserta_1(Term)
- Method in class alice.tuprolog.
BuiltIn
assertz_1(Term)
- Method in class alice.tuprolog.
BuiltIn
B
BuiltIn
- class alice.tuprolog.
BuiltIn
.
Library of built-in predicates
BuiltIn(Prolog)
- Constructor for class alice.tuprolog.
BuiltIn
backTo(SubGoalId)
- Method in class alice.tuprolog.
SubGoalStore
Ripristina ClauseStore allo stato i-esimo
build(Term, List, List)
- Static method in class alice.tuprolog.
ClauseStore
Carica una famiglia di clausole
C
ChoicePointContext
- class alice.tuprolog.
ChoicePointContext
.
ChoicePointContext()
- Constructor for class alice.tuprolog.
ChoicePointContext
ChoicePointStore
- class alice.tuprolog.
ChoicePointStore
.
ChoicePointStore()
- Constructor for class alice.tuprolog.
ChoicePointStore
ClauseInfo
- class alice.tuprolog.
ClauseInfo
.
This class mantains information about a clause creation (clause copy, final time T after renaming, validity stillValid Flag).
ClauseStore
- class alice.tuprolog.
ClauseStore
.
A list of clauses belonging to the same family as a goal.
clearTheory()
- Method in class alice.tuprolog.
Prolog
Clears current theory
comma_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
consult_1(Term)
- Method in class alice.tuprolog.
BuiltIn
copy(int)
- Method in class alice.tuprolog.
Number
gets a copy of this term.
copyGoal(AbstractMap, int)
- Method in class alice.tuprolog.
Term
gets a engine's copy of this term.
copyResult(Collection, List)
- Method in class alice.tuprolog.
Term
gets a copy of this term for the output
copy_term_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
createNumber(String)
- Static method in class alice.tuprolog.
Number
createTerm(String)
- Static method in class alice.tuprolog.
Term
Static service to create a Term from a string.
createTerm(String, OperatorManager)
- Static method in class alice.tuprolog.
Term
Static service to create a Term from a string, providing an external operator manager.
cut(ChoicePointContext)
- Method in class alice.tuprolog.
ChoicePointStore
cut_0()
- Method in class alice.tuprolog.
BuiltIn
D
DIRECTIVE
- Static variable in class alice.tuprolog.
PrimitiveInfo
DefaultSubGoalId
- class alice.tuprolog.
DefaultSubGoalId
.
Identifier of single subGoal during the demo.
Double
- class alice.tuprolog.
Double
.
Double class represents the double prolog data type
Double(double)
- Constructor for class alice.tuprolog.
Double
deunify_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
dismiss()
- Method in class alice.tuprolog.
Library
method invoked by prolog engine when library is going to be removed
doubleValue()
- Method in class alice.tuprolog.
Double
Returns the value of the Double as double
doubleValue()
- Method in class alice.tuprolog.
Float
Returns the value of the Float as double
doubleValue()
- Method in class alice.tuprolog.
Int
Returns the value of the Integer as double
doubleValue()
- Method in class alice.tuprolog.
Long
Returns the value of the Integer as double
doubleValue()
- Method in class alice.tuprolog.
Number
Returns the value of the number as double
E
Engine
- class alice.tuprolog.
Engine
.
Engine(EngineManager, Term)
- Constructor for class alice.tuprolog.
Engine
EngineManager
- class alice.tuprolog.
EngineManager
.
EngineManager()
- Constructor for class alice.tuprolog.
EngineManager
ExecutionContext
- class alice.tuprolog.
ExecutionContext
.
engine
- Variable in class alice.tuprolog.
Library
prolog core which loaded the library
equals(Object)
- Method in class alice.tuprolog.
Term
Tests for the equality of two object terms The comparison follows the same semantic of the isEQU method.
evalAsDirective(Struct)
- Method in class alice.tuprolog.
PrimitiveInfo
evaluates the primitive as a directive
evalAsDirective(Struct)
- Method in class alice.tuprolog.
PrimitiveManager
evalAsFunctor(Struct)
- Method in class alice.tuprolog.
PrimitiveInfo
evaluates the primitive as a functor
evalAsPredicate(Struct)
- Method in class alice.tuprolog.
PrimitiveInfo
evaluates the primitive as a predicate
evalExpression(Term)
- Method in class alice.tuprolog.
Library
Evaluates an expression.
existChoicePoint()
- Method in class alice.tuprolog.
ChoicePointStore
Check if a choice point exists in the store.
existCompatibleClause()
- Method in class alice.tuprolog.
ClauseStore
Verify if there is a term in compatibleGoals compatible with goal.
F
FALSE
- Static variable in class alice.tuprolog.
EngineManager
FALSE
- Static variable in class alice.tuprolog.
Term
FUNCTOR
- Static variable in class alice.tuprolog.
PrimitiveInfo
Float
- class alice.tuprolog.
Float
.
Float class represents the float prolog data type
Float(float)
- Constructor for class alice.tuprolog.
Float
fail_0()
- Method in class alice.tuprolog.
BuiltIn
fetch()
- Method in class alice.tuprolog.
ChoicePointStore
Return the correct choice-point
fetch()
- Method in class alice.tuprolog.
ClauseStore
Restituisce la clausola da caricare
fetch()
- Method in class alice.tuprolog.
SubGoalStore
Restituisce la clausola da caricare
flag_4(Term, Term, Term, Term)
- Method in class alice.tuprolog.
BuiltIn
flag_list_1(Term)
- Method in class alice.tuprolog.
BuiltIn
floatValue()
- Method in class alice.tuprolog.
Double
Returns the value of the Double as float
floatValue()
- Method in class alice.tuprolog.
Float
Returns the value of the Float as float
floatValue()
- Method in class alice.tuprolog.
Int
Returns the value of the Integer as float
floatValue()
- Method in class alice.tuprolog.
Long
Returns the value of the Integer as float
floatValue()
- Method in class alice.tuprolog.
Number
Returns the value of the number as float
free()
- Method in class alice.tuprolog.
Number
free()
- Method in class alice.tuprolog.
Struct
dummy method
free()
- Method in class alice.tuprolog.
Term
Unlink variables inside the term
free()
- Method in class alice.tuprolog.
Var
De-unify the variable
free(List)
- Static method in class alice.tuprolog.
Var
De-unify the variables of list
G
getArg(int)
- Method in class alice.tuprolog.
Struct
Gets the i-th element of this structure No bound check is done
getArg(String)
- Method in class alice.tuprolog.
Struct
Gets an argument inside this structure, given its name
getArity()
- Method in class alice.tuprolog.
Struct
Gets the number of elements of this structure
getBindingVars()
- Method in class alice.tuprolog.
SolveInfo
Gets the list of the variables in the solution.
getChild(int)
- Method in class alice.tuprolog.
SubGoalTree
getChoicePointStore()
- Method in class alice.tuprolog.
Engine
getChoicePoints()
- Method in class alice.tuprolog.
ChoicePointStore
getClause()
- Method in class alice.tuprolog.
ExecutionContext
getClauses()
- Method in class alice.tuprolog.
ClauseStore
getCompatibleGoals()
- Method in class alice.tuprolog.
ChoicePointContext
getCurrentGoal()
- Method in class alice.tuprolog.
ExecutionContext
getCurrentGoalId()
- Method in class alice.tuprolog.
SubGoalStore
Indice del correntemente in esecuzione
getCurrentLibraries()
- Method in class alice.tuprolog.
Prolog
Gets the list of current libraries loaded
getCurrentLine()
- Method in class alice.tuprolog.
Parser
getCurrentOperatorList()
- Method in class alice.tuprolog.
Prolog
Gets the list of the operators currently defined
getDepth()
- Method in class alice.tuprolog.
ExecutionContext
getEngine()
- Method in class alice.tuprolog.
Library
Gets the engine to which the library is bound
getExecutionContext()
- Method in class alice.tuprolog.
ChoicePointContext
getExecutionStack()
- Method in class alice.tuprolog.
Engine
getFatherGoalId()
- Method in class alice.tuprolog.
ExecutionContext
getHeadClause()
- Method in class alice.tuprolog.
ExecutionContext
getId()
- Method in class alice.tuprolog.
ExecutionContext
getIndexBack()
- Method in class alice.tuprolog.
ChoicePointContext
getIndexNextSubGoal()
- Method in class alice.tuprolog.
SubGoalStore
getIterator(String)
- Static method in class alice.tuprolog.
Term
Gets an iterator providing a term stream from a source text
getKey()
- Method in class alice.tuprolog.
PrimitiveInfo
getLastConsultedTheory()
- Method in class alice.tuprolog.
Prolog
Gets last consulted theory, with the original textual format
getLibrary(String)
- Method in class alice.tuprolog.
Prolog
Gets the reference to a loaded library
getLibraryFunctor(String, int)
- Method in class alice.tuprolog.
Prolog
getLibraryListenerList()
- Method in class alice.tuprolog.
Prolog
Gets a copy of current listener list to library events
getLibraryName()
- Method in class alice.tuprolog.
InvalidLibraryException
getLibraryName()
- Method in class alice.tuprolog.event.
LibraryEvent
Gets the library name (loaded or unloaded).
getLibraryPredicate(String, int)
- Method in class alice.tuprolog.
Prolog
getLine()
- Method in class alice.tuprolog.
InvalidLibraryException
getMatchGoal()
- Method in class alice.tuprolog.
ClauseStore
getMessage()
- Method in class alice.tuprolog.
InvalidLibraryException
getMsg()
- Method in class alice.tuprolog.event.
OutputEvent
getMsg()
- Method in class alice.tuprolog.event.
SpyEvent
getMsg()
- Method in class alice.tuprolog.event.
WarningEvent
getName()
- Method in class alice.tuprolog.
Library
Gets the name of the library.
getName()
- Method in class alice.tuprolog.
Struct
Gets the functor name of this structure
getName()
- Method in class alice.tuprolog.
Var
Gets the name of the variable
getNewTheory()
- Method in class alice.tuprolog.event.
TheoryEvent
Gets the new theory
getNumDemoSteps()
- Method in class alice.tuprolog.
Engine
getOldTheory()
- Method in class alice.tuprolog.event.
TheoryEvent
Gets the old theory
getOriginalName()
- Method in class alice.tuprolog.
Var
Gets the name of the variable
getOutputListenerList()
- Method in class alice.tuprolog.
Prolog
Gets a copy of current listener list to output events
getPointer()
- Method in class alice.tuprolog.
ChoicePointStore
Return the actual choice-point store
getPos()
- Method in class alice.tuprolog.
InvalidLibraryException
getPrimitive()
- Method in class alice.tuprolog.
Struct
Get primitive behaviour associated at structure
getPrimitives()
- Method in interface alice.tuprolog.
IPrimitives
gets the list of primitives defined in the library
getPrimitives()
- Method in class alice.tuprolog.
Library
gets the list of predicates defined in the library
getQuery()
- Method in class alice.tuprolog.
Engine
getQuery()
- Method in class alice.tuprolog.
SolveInfo
Gets the query
getQueryListenerList()
- Method in class alice.tuprolog.
Prolog
Gets a copy of current listener list to query events
getResultDemo()
- Method in class alice.tuprolog.
StateEnd
getResultGoal()
- Method in class alice.tuprolog.
StateEnd
getResultVars()
- Method in class alice.tuprolog.
StateEnd
getSnapshot()
- Method in class alice.tuprolog.event.
SpyEvent
getSolution()
- Method in class alice.tuprolog.
SolveInfo
Gets the solution of the request
getSolveInfo()
- Method in class alice.tuprolog.event.
QueryEvent
Gets information about the query result.
getSource()
- Method in class alice.tuprolog.
PrimitiveInfo
getSpyListenerList()
- Method in class alice.tuprolog.
Prolog
Gets a copy of current listener list to spy events
getSubGoalStore()
- Method in class alice.tuprolog.
ExecutionContext
getSubGoals()
- Method in class alice.tuprolog.
SubGoalStore
getSynonymMap()
- Method in class alice.tuprolog.
BuiltIn
Defines some synonyms
getSynonymMap()
- Method in class alice.tuprolog.
Library
Gets the synonym mapping, as array of elements like { synonym, original name}
getTerm()
- Method in class alice.tuprolog.
Number
Gets the actual term referred by this Term.
getTerm(String)
- Method in class alice.tuprolog.
SolveInfo
Gets the value of a variable in the substitution.
getTerm(int)
- Method in class alice.tuprolog.
Struct
Gets the i-th element of this structure No bound check is done.
getTerm()
- Method in class alice.tuprolog.
Struct
getTerm()
- Method in class alice.tuprolog.
Term
Gets the actual term referred by this Term.
getTerm()
- Method in class alice.tuprolog.
Var
Gets the term which is referred by the variable.
getTheory()
- Method in class alice.tuprolog.
Library
Gets the theory provided with the library Empty theory is provided by default.
getTheory()
- Method in class alice.tuprolog.
Prolog
Gets current theory
getTheory(boolean)
- Method in class alice.tuprolog.
TheoryManager
Gets current theory
getTheoryListenerList()
- Method in class alice.tuprolog.
Prolog
Gets a copy of current listener list to theory events
getTime()
- Method in class alice.tuprolog.event.
PrologEvent
Gets the VM time of event occurrence.
getTrailingVars()
- Method in class alice.tuprolog.
ExecutionContext
getType()
- Method in class alice.tuprolog.
PrimitiveInfo
getValue()
- Method in class alice.tuprolog.
HaltException
getValue()
- Method in class alice.tuprolog.
SubGoalElement
getVarValue(String)
- Method in class alice.tuprolog.
SolveInfo
Gets the value of a variable in the substitution.
getVarsForMatch()
- Method in class alice.tuprolog.
ClauseStore
getVarsToDeunify()
- Method in class alice.tuprolog.
ChoicePointContext
getVersion()
- Static method in class alice.tuprolog.
Prolog
Gets the current version of the tuProlog system
getWarningListenerList()
- Method in class alice.tuprolog.
Prolog
Gets a copy of current listener list to warning events
get_prolog_flag_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
H
HALT
- Static variable in class alice.tuprolog.
EngineManager
HaltException
- exception alice.tuprolog.
HaltException
.
This exception is raised when an halt code is requested and no halt predicate has been issued
HaltException()
- Constructor for class alice.tuprolog.
HaltException
HaltException(int)
- Constructor for class alice.tuprolog.
HaltException
halt_0()
- Method in class alice.tuprolog.
BuiltIn
halt_1(Term)
- Method in class alice.tuprolog.
BuiltIn
hasOpenAlternatives()
- Method in class alice.tuprolog.
Prolog
Asks for the presence of open alternatives to be explored in current demostration process.
hasOpenAlternatives()
- Method in class alice.tuprolog.
SolveInfo
Checks if the solve request was halted
haveAlternatives()
- Method in class alice.tuprolog.
ClauseStore
haveSubGoals()
- Method in class alice.tuprolog.
SubGoalStore
I
IPrimitives
- interface alice.tuprolog.
IPrimitives
.
Template for predicate
Int
- class alice.tuprolog.
Int
.
Int class represents the integer prolog data type
Int(int)
- Constructor for class alice.tuprolog.
Int
InvalidLibraryException
- exception alice.tuprolog.
InvalidLibraryException
.
This exception means that a not valid tuProlog library has been specified.
InvalidLibraryException()
- Constructor for class alice.tuprolog.
InvalidLibraryException
InvalidLibraryException(String, int, int)
- Constructor for class alice.tuprolog.
InvalidLibraryException
InvalidTermException
- exception alice.tuprolog.
InvalidTermException
.
This exeption means that a not valid tuProlog term has been specified.
InvalidTermException(String)
- Constructor for class alice.tuprolog.
InvalidTermException
InvalidTheoryException
- exception alice.tuprolog.
InvalidTheoryException
.
This exceptions means that a not valid tuProlog theory has been specified
InvalidTheoryException()
- Constructor for class alice.tuprolog.
InvalidTheoryException
InvalidTheoryException(int, int)
- Constructor for class alice.tuprolog.
InvalidTheoryException
InvalidVarNameException
- exception alice.tuprolog.
InvalidVarNameException
.
Deprecated.
Use InvalidTermException with a meaningful message instead.
InvalidVarNameException(String)
- Constructor for class alice.tuprolog.
InvalidVarNameException
Deprecated.
identifyDirective(Term)
- Method in class alice.tuprolog.
PrimitiveManager
Identifies the term passed as argument.
identifyFunctor(Term)
- Method in class alice.tuprolog.
PrimitiveManager
identifyFunctor(Term)
- Method in class alice.tuprolog.
Prolog
Identify functors
identifyPredicate(Term)
- Method in class alice.tuprolog.
PrimitiveManager
intValue()
- Method in class alice.tuprolog.
Double
Returns the value of the Double as int
intValue()
- Method in class alice.tuprolog.
Float
Returns the value of the Float as int
intValue()
- Method in class alice.tuprolog.
Int
Returns the value of the Integer as int
intValue()
- Method in class alice.tuprolog.
Long
Returns the value of the Integer as int
intValue()
- Method in class alice.tuprolog.
Number
Returns the value of the number as int
invalidate()
- Method in class alice.tuprolog.
PrimitiveInfo
Method to invalidate primitives.
isAnonymous()
- Method in class alice.tuprolog.
Var
Tests if this variable is ANY
isAtom()
- Method in class alice.tuprolog.
Number
is this term a prolog (alphanumeric) atom?
isAtom(String)
- Static method in class alice.tuprolog.
Parser
isAtom()
- Method in class alice.tuprolog.
Struct
isAtom()
- Method in class alice.tuprolog.
Term
is this term a prolog (alphanumeric) atom?
isAtom()
- Method in class alice.tuprolog.
Var
isAtomic()
- Method in class alice.tuprolog.
Number
is this term a constant prolog term?
isAtomic()
- Method in class alice.tuprolog.
Struct
isAtomic()
- Method in class alice.tuprolog.
Term
is this term a constant prolog term?
isAtomic()
- Method in class alice.tuprolog.
Var
isBound()
- Method in class alice.tuprolog.
Var
Tests if this variable is bound
isClause()
- Method in class alice.tuprolog.
Struct
Check is this struct is clause or directive
isCompound()
- Method in class alice.tuprolog.
Number
is this term a prolog compound term?
isCompound()
- Method in class alice.tuprolog.
Struct
isCompound()
- Method in class alice.tuprolog.
Term
is this term a prolog compound term?
isCompound()
- Method in class alice.tuprolog.
Var
isDirective()
- Method in class alice.tuprolog.
PrimitiveInfo
isDouble()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isDouble()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isDouble()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isDouble()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isDouble()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isEmptyList()
- Method in class alice.tuprolog.
Number
isEmptyList()
- Method in class alice.tuprolog.
Struct
Is this structure an empty list?
isEmptyList()
- Method in class alice.tuprolog.
Term
is this term a null term?
isEmptyList()
- Method in class alice.tuprolog.
Var
isEqual(Term)
- Method in class alice.tuprolog.
Double
Returns true if this Double term is equal to the term provided.
isEqual(Term)
- Method in class alice.tuprolog.
Float
Returns true if this Float term is equal that the term provided.
isEqual(Term)
- Method in class alice.tuprolog.
Int
Returns true if this integer term is equal to the term provided.
isEqual(Term)
- Method in class alice.tuprolog.
Long
Returns true if this integer term is equal that the term provided.
isEqual(Term)
- Method in class alice.tuprolog.
Struct
Test if a term is equal to other
isEqual(Term)
- Method in class alice.tuprolog.
Term
Tests if this term is (logically) equal to another
isEqual(Term)
- Method in class alice.tuprolog.
Var
isFloat()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isFloat()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isFloat()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isFloat()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isFloat()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isFunctor()
- Method in class alice.tuprolog.
PrimitiveInfo
isGreater(Term)
- Method in class alice.tuprolog.
Double
Returns true if this Double term is grater that the term provided.
isGreater(Term)
- Method in class alice.tuprolog.
Float
Returns true if this Float term is grater that the term provided.
isGreater(Term)
- Method in class alice.tuprolog.
Int
Returns true if this integer term is grater that the term provided.
isGreater(Term)
- Method in class alice.tuprolog.
Long
Returns true if this integer term is grater that the term provided.
isGreater(Term)
- Method in class alice.tuprolog.
Struct
Test if a term is greater than other
isGreater(Term)
- Method in class alice.tuprolog.
Term
is term greater than term t?
isGreater(Term)
- Method in class alice.tuprolog.
Var
Gets a copy of this variable
isGround()
- Method in class alice.tuprolog.
Number
is this term a ground term?
isGround()
- Method in class alice.tuprolog.
Struct
isGround()
- Method in class alice.tuprolog.
Term
is this term a ground term?
isGround()
- Method in class alice.tuprolog.
Var
isHalted()
- Method in class alice.tuprolog.
Prolog
Checks if the demonstration process was stopped by an halt command.
isHalted()
- Method in class alice.tuprolog.
SolveInfo
Checks if the solve request was halted
isInt()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof Int
instead.
isInt()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof Int
instead.
isInt()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof Int
instead.
isInt()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof Int
instead.
isInt()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof Int
instead.
isInteger()
- Method in class alice.tuprolog.
Double
is this term a prolog integer term?
isInteger()
- Method in class alice.tuprolog.
Float
is this term a prolog integer term?
isInteger()
- Method in class alice.tuprolog.
Int
is this term a prolog integer term?
isInteger()
- Method in class alice.tuprolog.
Long
is this term a prolog integer term?
isInteger()
- Method in class alice.tuprolog.
Number
is this term a prolog integer term?
isLeaf()
- Method in class alice.tuprolog.
AbstractSubGoalTree
isLeaf()
- Method in class alice.tuprolog.
SubGoalElement
isLeaf()
- Method in class alice.tuprolog.
SubGoalTree
isList()
- Method in class alice.tuprolog.
Number
is this term a prolog list?
isList()
- Method in class alice.tuprolog.
Struct
isList()
- Method in class alice.tuprolog.
Term
is this term a prolog list?
isList()
- Method in class alice.tuprolog.
Var
isLong()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isLong()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isLong()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isLong()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isLong()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isNumber()
- Method in class alice.tuprolog.
Number
is this term a prolog numeric term?
isNumber()
- Method in class alice.tuprolog.
Struct
is this term a prolog numeric term?
isNumber()
- Method in class alice.tuprolog.
Term
Deprecated.
Use
instanceof Number
instead.
isNumber()
- Method in class alice.tuprolog.
Var
isPredicate()
- Method in class alice.tuprolog.
PrimitiveInfo
isPrimitive()
- Method in class alice.tuprolog.
Struct
Check if this term is a primitive struct
isReal()
- Method in class alice.tuprolog.
Double
is this term a prolog real term?
isReal()
- Method in class alice.tuprolog.
Float
is this term a prolog real term?
isReal()
- Method in class alice.tuprolog.
Int
is this term a prolog real term?
isReal()
- Method in class alice.tuprolog.
Long
is this term a prolog real term?
isReal()
- Method in class alice.tuprolog.
Number
is this term a prolog real term?
isRoot()
- Method in class alice.tuprolog.
AbstractSubGoalTree
isRoot()
- Method in class alice.tuprolog.
SubGoalElement
isRoot()
- Method in class alice.tuprolog.
SubGoalTree
isSpy()
- Method in class alice.tuprolog.
Prolog
Checks the spy state of the engine
isStruct()
- Method in class alice.tuprolog.
Number
is this term a struct
isStruct()
- Method in class alice.tuprolog.
Struct
is this term a struct
isStruct()
- Method in class alice.tuprolog.
Term
Deprecated.
Use
instanceof Struct
instead.
isStruct()
- Method in class alice.tuprolog.
Var
isSuccess()
- Method in class alice.tuprolog.
SolveInfo
Checks if the solve request was successful
isTypeDouble()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isTypeDouble()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isTypeDouble()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isTypeDouble()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isTypeDouble()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof alice.tuprolog.Double
instead.
isTypeFloat()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isTypeFloat()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isTypeFloat()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isTypeFloat()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isTypeFloat()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof alice.tuprolog.Float
instead.
isTypeInt()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof Int
instead.
isTypeInt()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof Int
instead.
isTypeInt()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof Int
instead.
isTypeInt()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof Int
instead.
isTypeInt()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof Int
instead.
isTypeLong()
- Method in class alice.tuprolog.
Double
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isTypeLong()
- Method in class alice.tuprolog.
Float
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isTypeLong()
- Method in class alice.tuprolog.
Int
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isTypeLong()
- Method in class alice.tuprolog.
Long
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isTypeLong()
- Method in class alice.tuprolog.
Number
Deprecated.
Use
instanceof alice.tuprolog.Long
instead.
isVar()
- Method in class alice.tuprolog.
Number
is this term a variable
isVar()
- Method in class alice.tuprolog.
Struct
is this term a variable
isVar()
- Method in class alice.tuprolog.
Term
Deprecated.
Use
instanceof Var
instead.
isVar()
- Method in class alice.tuprolog.
Var
isWarning()
- Method in class alice.tuprolog.
Prolog
Checks if warning information are notified
is_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
iteratedGoalTerm()
- Method in class alice.tuprolog.
Struct
iteratedGoalTerm()
- Method in class alice.tuprolog.
Term
The iterated-goal term G of a term T is a term defined recursively as follows: if T unifies with ^(_, Goal) then G is the iterated-goal term of Goal else G is T
iterator()
- Method in class alice.tuprolog.
Parser
iterator()
- Method in class alice.tuprolog.
SubGoalTree
iterator(Prolog)
- Method in class alice.tuprolog.
Theory
L
Library
- class alice.tuprolog.
Library
.
This abstract class is the base class for developing tuProlog built-in libraries, which can be dynamically loaded by prolog objects.
Library()
- Constructor for class alice.tuprolog.
Library
LibraryEvent
- class alice.tuprolog.event.
LibraryEvent
.
This class represents events concerning library management.
LibraryEvent(Prolog, String)
- Constructor for class alice.tuprolog.event.
LibraryEvent
LibraryListener
- interface alice.tuprolog.event.
LibraryListener
.
Listener for library events
Long
- class alice.tuprolog.
Long
.
Long class represents the long prolog data type
Long(long)
- Constructor for class alice.tuprolog.
Long
libraryLoaded(LibraryEvent)
- Method in interface alice.tuprolog.event.
LibraryListener
libraryLoaded(LibraryEvent)
- Method in class alice.tuprolog.event.
PrologEventAdapter
libraryLoaded(LibraryEvent)
- Method in interface alice.tuprolog.event.
PrologEventListener
libraryUnloaded(LibraryEvent)
- Method in interface alice.tuprolog.event.
LibraryListener
libraryUnloaded(LibraryEvent)
- Method in class alice.tuprolog.event.
PrologEventAdapter
libraryUnloaded(LibraryEvent)
- Method in interface alice.tuprolog.event.
PrologEventListener
line
- Variable in class alice.tuprolog.
InvalidTheoryException
listHead()
- Method in class alice.tuprolog.
Struct
Gets the head of this structure, which is supposed to be a list.
listIterator()
- Method in class alice.tuprolog.
Struct
Gets an iterator on the elements of this structure, which is supposed to be a list.
listSize()
- Method in class alice.tuprolog.
Struct
Gets the number of elements of this structure, which is supposed to be a list.
listTail()
- Method in class alice.tuprolog.
Struct
Gets the tail of this structure, which is supposed to be a list.
load(SubGoalTree)
- Method in class alice.tuprolog.
SubGoalStore
loadLibrary(String)
- Method in class alice.tuprolog.
Prolog
Loads a library.
loadLibrary(Library)
- Method in class alice.tuprolog.
Prolog
Loads a specific instance of a library If a library with the same name is already present, a warning event is notified
load_library_1(Term)
- Method in class alice.tuprolog.
BuiltIn
longValue()
- Method in class alice.tuprolog.
Double
Returns the value of the Double as long
longValue()
- Method in class alice.tuprolog.
Float
Returns the value of the Float as long
longValue()
- Method in class alice.tuprolog.
Int
Returns the value of the Integer as long
longValue()
- Method in class alice.tuprolog.
Long
Returns the value of the Integer as long
longValue()
- Method in class alice.tuprolog.
Number
Returns the value of the number as long
M
MalformedGoalException
- exception alice.tuprolog.
MalformedGoalException
.
This exception means that a not well formed goal has been specified.
MalformedGoalException()
- Constructor for class alice.tuprolog.
MalformedGoalException
main(String[])
- Static method in class alice.tuprolog.
Agent
match(Term, Term)
- Method in class alice.tuprolog.
Library
tries to unify two terms The runtime (demonstration) context currently used by the engine is deployed and altered.
match(Term, Term)
- Method in class alice.tuprolog.
Prolog
Unifies two terms using current demonstration context.
match(Term)
- Method in class alice.tuprolog.
Term
Tests if this term is unifiable with an other term.
N
NoMoreSolutionException
- exception alice.tuprolog.
NoMoreSolutionException
.
This exception means that other solutions are asked but actually no other ones exist.
NoMoreSolutionException()
- Constructor for class alice.tuprolog.
NoMoreSolutionException
NoSolutionException
- exception alice.tuprolog.
NoSolutionException
.
This exception means that a solution is asked, but actually none exists
NoSolutionException()
- Constructor for class alice.tuprolog.
NoSolutionException
Number
- class alice.tuprolog.
Number
.
Number abstract class represents numbers prolog data type
Number()
- Constructor for class alice.tuprolog.
Number
name
- Variable in class alice.tuprolog.
Operator
operator name
newQueryResultAvailable(QueryEvent)
- Method in class alice.tuprolog.event.
PrologEventAdapter
newQueryResultAvailable(QueryEvent)
- Method in interface alice.tuprolog.event.
PrologEventListener
newQueryResultAvailable(QueryEvent)
- Method in interface alice.tuprolog.event.
QueryListener
nextTerm(boolean)
- Method in class alice.tuprolog.
Parser
Parses next term from the stream built on string.
notifyChangedTheory(TheoryEvent)
- Method in class alice.tuprolog.
Prolog
Notifies a new theory set or updated event
notifyLoadedLibrary(LibraryEvent)
- Method in class alice.tuprolog.
Prolog
Notifies a library loaded event
notifyNewQueryResultAvailable(QueryEvent)
- Method in class alice.tuprolog.
Prolog
Notifies a library loaded event
notifyOutput(OutputEvent)
- Method in class alice.tuprolog.
Prolog
Notifies an ouput information event
notifySpy(SpyEvent)
- Method in class alice.tuprolog.
Prolog
Notifies a spy information event
notifyUnloadedLibrary(LibraryEvent)
- Method in class alice.tuprolog.
Prolog
Notifies a library unloaded event
notifyWarning(WarningEvent)
- Method in class alice.tuprolog.
Prolog
Notifies a warning information event
O
Operator
- class alice.tuprolog.
Operator
.
This class defines a tuProlog operator, in terms of a name, a type, and a priority.
OutputEvent
- class alice.tuprolog.event.
OutputEvent
.
This class defines an output event (after a write operation, for instance) generated by the prolog core
OutputEvent(Object, String)
- Constructor for class alice.tuprolog.event.
OutputEvent
OutputListener
- interface alice.tuprolog.event.
OutputListener
.
This interface defines the method handling output event generated by a prolog engine
onOutput(OutputEvent)
- Method in interface alice.tuprolog.event.
OutputListener
onSolveBegin(Term)
- Method in class alice.tuprolog.
Library
method invoked when the engine is going to demonstrate a goal
onSolveEnd()
- Method in class alice.tuprolog.
Library
method invoked when the engine has finished a demostration
onSpy(SpyEvent)
- Method in interface alice.tuprolog.event.
SpyListener
onWarning(WarningEvent)
- Method in interface alice.tuprolog.event.
WarningListener
op_3(Term, Term, Term)
- Method in class alice.tuprolog.
BuiltIn
P
PREDICATE
- Static variable in class alice.tuprolog.
PrimitiveInfo
Parser
- class alice.tuprolog.
Parser
.
This class defines a parser of prolog terms and sentences.
Parser(OperatorManager, InputStream)
- Constructor for class alice.tuprolog.
Parser
creating a Parser specifing how to handle operators and what text to parse
Parser(OperatorManager, String)
- Constructor for class alice.tuprolog.
Parser
creating a Parser specifing how to handle operators and what text to parse
Parser(String)
- Constructor for class alice.tuprolog.
Parser
creating a parser with default operator interpretation
Parser(InputStream)
- Constructor for class alice.tuprolog.
Parser
creating a parser with default operator interpretation
PrimitiveInfo
- class alice.tuprolog.
PrimitiveInfo
.
Primitive class referring to a builtin predicate or functor
PrimitiveInfo(int, String, Library, Method, int)
- Constructor for class alice.tuprolog.
PrimitiveInfo
PrimitiveManager
- class alice.tuprolog.
PrimitiveManager
.
Administration of primitive predicates
PrimitiveManager()
- Constructor for class alice.tuprolog.
PrimitiveManager
Prolog
- class alice.tuprolog.
Prolog
.
The Prolog class represents a tuProlog engine.
Prolog()
- Constructor for class alice.tuprolog.
Prolog
Builds a prolog engine with default libraries loaded.
Prolog(String[])
- Constructor for class alice.tuprolog.
Prolog
Builds a tuProlog engine with loaded the specified libraries
PrologEvent
- class alice.tuprolog.event.
PrologEvent
.
Base class for engine event
PrologEvent(Prolog)
- Constructor for class alice.tuprolog.event.
PrologEvent
PrologEventAdapter
- class alice.tuprolog.event.
PrologEventAdapter
.
PrologEventAdapter()
- Constructor for class alice.tuprolog.event.
PrologEventAdapter
PrologEventListener
- interface alice.tuprolog.event.
PrologEventListener
.
Listener for Prolog events
PrologException
- exception alice.tuprolog.
PrologException
.
Base class for tuProlog exceptions.
PrologException()
- Constructor for class alice.tuprolog.
PrologException
PrologException(String)
- Constructor for class alice.tuprolog.
PrologException
parse(String)
- Static method in class alice.tuprolog.
Term
Deprecated.
Use
Term.createTerm(String)
instead.
parse(String, OperatorManager)
- Static method in class alice.tuprolog.
Term
Deprecated.
Use
Term.createTerm(String, OperatorManager)
instead.
parseSingleTerm(String)
- Static method in class alice.tuprolog.
Parser
Static service to get a term from its string representation
parseSingleTerm(String, OperatorManager)
- Static method in class alice.tuprolog.
Parser
Static service to get a term from its string representation, providing a specific operator manager
pos
- Variable in class alice.tuprolog.
InvalidTheoryException
prio
- Variable in class alice.tuprolog.
Operator
priority
pushSubGoal(SubGoalTree)
- Method in class alice.tuprolog.
SubGoalStore
Q
QueryEvent
- class alice.tuprolog.event.
QueryEvent
.
This class represents events concerning query management.
QueryEvent(Prolog, SolveInfo)
- Constructor for class alice.tuprolog.event.
QueryEvent
QueryListener
- interface alice.tuprolog.event.
QueryListener
.
Listener for query events
R
removeAllOutputListener()
- Method in class alice.tuprolog.
Agent
Removes all output event listeners
removeAllOutputListeners()
- Method in class alice.tuprolog.
Prolog
Removes all output event listeners
removeAllSpyListeners()
- Method in class alice.tuprolog.
Prolog
Removes all spy event listeners
removeAllWarningListeners()
- Method in class alice.tuprolog.
Prolog
Removes all warning event listeners
removeLibraryListener(LibraryListener)
- Method in class alice.tuprolog.
Prolog
Removes a listener to library events
removeOutputListener(OutputListener)
- Method in class alice.tuprolog.
Agent
Removes a listener to ouput events
removeOutputListener(OutputListener)
- Method in class alice.tuprolog.
Prolog
Removes a listener to ouput events
removeQueryListener(QueryListener)
- Method in class alice.tuprolog.
Prolog
Removes a listener to query events
removeSpyListener(SpyListener)
- Method in class alice.tuprolog.
Prolog
Removes a listener to spy events
removeTheoryListener(TheoryListener)
- Method in class alice.tuprolog.
Prolog
Removes a listener to theory events
removeUnusedChoicePoints()
- Method in class alice.tuprolog.
ChoicePointStore
Removes choice points which have been already used and are now empty.
removeWarningListener(WarningListener)
- Method in class alice.tuprolog.
Prolog
Removes a listener to warning events
resolveTerm()
- Method in class alice.tuprolog.
Term
Resolves variables inside the term If the variables has been already resolved, no renaming is done.
resolveVariables(int)
- Method in class alice.tuprolog.
Double
S
SolveInfo
- class alice.tuprolog.
SolveInfo
.
SolveInfo class represents the result of a solve request made to the engine, providing information about the solution
SpyEvent
- class alice.tuprolog.event.
SpyEvent
.
This class defines an internal event generated by the prolog core
SpyEvent(Object, String)
- Constructor for class alice.tuprolog.event.
SpyEvent
SpyEvent(Object, Engine, String)
- Constructor for class alice.tuprolog.event.
SpyEvent
SpyListener
- interface alice.tuprolog.event.
SpyListener
.
This interface defines the method handling internal event generated by a prolog engine
StateBacktrack
- class alice.tuprolog.
StateBacktrack
.
StateBacktrack(EngineManager)
- Constructor for class alice.tuprolog.
StateBacktrack
StateEnd
- class alice.tuprolog.
StateEnd
.
StateEnd(EngineManager, int)
- Constructor for class alice.tuprolog.
StateEnd
Constructor
StateGoalEvaluation
- class alice.tuprolog.
StateGoalEvaluation
.
StateGoalEvaluation(EngineManager)
- Constructor for class alice.tuprolog.
StateGoalEvaluation
StateGoalSelection
- class alice.tuprolog.
StateGoalSelection
.
StateGoalSelection(EngineManager)
- Constructor for class alice.tuprolog.
StateGoalSelection
StateInit
- class alice.tuprolog.
StateInit
.
StateInit(EngineManager)
- Constructor for class alice.tuprolog.
StateInit
StateRuleSelection
- class alice.tuprolog.
StateRuleSelection
.
StateRuleSelection(EngineManager)
- Constructor for class alice.tuprolog.
StateRuleSelection
Struct
- class alice.tuprolog.
Struct
.
Struct class represents both compound prolog term and atom term (considered as 0-arity compound).
Struct(String)
- Constructor for class alice.tuprolog.
Struct
Builds a Struct representing an atom
Struct(String, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with one argument
Struct(String, Term, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with two arguments
Struct(String, Term, Term, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with three arguments
Struct(String, Term, Term, Term, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with four arguments
Struct(String, Term, Term, Term, Term, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with five arguments
Struct(String, Term, Term, Term, Term, Term, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with six arguments
Struct(String, Term, Term, Term, Term, Term, Term, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with seven arguments
Struct(String, Term[])
- Constructor for class alice.tuprolog.
Struct
Builds a compound, with an array of arguments
Struct()
- Constructor for class alice.tuprolog.
Struct
Builds a structure representing an empty list
Struct(Term, Term)
- Constructor for class alice.tuprolog.
Struct
Builds a list providing head and tail
Struct(Term[])
- Constructor for class alice.tuprolog.
Struct
Builds a list specifying the elements
SubGoalElement
- class alice.tuprolog.
SubGoalElement
.
SubGoalElement(Term)
- Constructor for class alice.tuprolog.
SubGoalElement
SubGoalId
- interface alice.tuprolog.
SubGoalId
.
Identifier of single subGoal during the demo.
SubGoalStore
- class alice.tuprolog.
SubGoalStore
.
SubGoalStore()
- Constructor for class alice.tuprolog.
SubGoalStore
SubGoalTree
- class alice.tuprolog.
SubGoalTree
.
SubGoalTree()
- Constructor for class alice.tuprolog.
SubGoalTree
setSpy(boolean)
- Method in class alice.tuprolog.
Prolog
Switches on/off the notification of spy information events
setTheory(Theory)
- Method in class alice.tuprolog.
Prolog
Sets a new theory
setWarning(boolean)
- Method in class alice.tuprolog.
Prolog
Switches on/off the notification of warning information events
set_prolog_flag_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
size()
- Method in class alice.tuprolog.
SubGoalTree
solve(Term)
- Method in class alice.tuprolog.
EngineManager
Solves a query
solve(Term)
- Method in class alice.tuprolog.
Prolog
Solves a query
solve(String)
- Method in class alice.tuprolog.
Prolog
Solves a query
solveEnd()
- Method in class alice.tuprolog.
EngineManager
Accepts current solution
solveEnd()
- Method in class alice.tuprolog.
Prolog
Accepts current solution
solveHalt()
- Method in class alice.tuprolog.
EngineManager
Halts current solve computation
solveHalt()
- Method in class alice.tuprolog.
Prolog
Halts current solve computation
solveNext()
- Method in class alice.tuprolog.
EngineManager
Gets next solution
solveNext()
- Method in class alice.tuprolog.
Prolog
Gets next solution
solve_1(Term)
- Method in class alice.tuprolog.
BuiltIn
spawn()
- Method in class alice.tuprolog.
Agent
Starts agent execution
spy(String)
- Method in class alice.tuprolog.
Prolog
Notifies a spy information event
spy(String, Engine)
- Method in class alice.tuprolog.
Prolog
Notifies a spy information event
stdOutput(String)
- Method in class alice.tuprolog.
Prolog
Produces an output information event
T
TRUE
- Static variable in class alice.tuprolog.
EngineManager
TRUE
- Static variable in class alice.tuprolog.
Term
TRUE_CP
- Static variable in class alice.tuprolog.
EngineManager
Term
- class alice.tuprolog.
Term
.
Term class is the root abstract class for prolog data type
Term()
- Constructor for class alice.tuprolog.
Term
Theory
- class alice.tuprolog.
Theory
.
This class represents prolog theory which can be provided to a prolog engine.
Theory(InputStream)
- Constructor for class alice.tuprolog.
Theory
Creates a theory getting its source text from an input stream
Theory(String)
- Constructor for class alice.tuprolog.
Theory
Creates a theory from its source text
Theory(Struct)
- Constructor for class alice.tuprolog.
Theory
Creates a theory from a clause list
TheoryEvent
- class alice.tuprolog.event.
TheoryEvent
.
This class represents events occurring in theory management.
TheoryEvent(Prolog, Theory, Theory)
- Constructor for class alice.tuprolog.event.
TheoryEvent
TheoryListener
- interface alice.tuprolog.event.
TheoryListener
.
Listener for theory events
TheoryManager
- class alice.tuprolog.
TheoryManager
.
This class defines the Theory Manager who manages the clauses/theory often referred to as the Prolog database.
TheoryManager()
- Constructor for class alice.tuprolog.
TheoryManager
theoryChanged(TheoryEvent)
- Method in class alice.tuprolog.event.
PrologEventAdapter
theoryChanged(TheoryEvent)
- Method in interface alice.tuprolog.event.
PrologEventListener
theoryChanged(TheoryEvent)
- Method in interface alice.tuprolog.event.
TheoryListener
toString()
- Method in class alice.tuprolog.
ChoicePointContext
toString()
- Method in class alice.tuprolog.
ChoicePointStore
Cut at defined depth (toDepth)
toString(OperatorManager)
- Method in class alice.tuprolog.
ClauseInfo
Gets the string representation recognizing operators stored by the operator manager
toString()
- Method in class alice.tuprolog.
ClauseInfo
Gets the string representation with default operator representation
toString()
- Method in class alice.tuprolog.
ClauseStore
toString()
- Method in class alice.tuprolog.
DefaultSubGoalId
toString()
- Method in class alice.tuprolog.
Double
toString()
- Method in class alice.tuprolog.
Engine
toString()
- Method in class alice.tuprolog.
ExecutionContext
toString()
- Method in class alice.tuprolog.
Float
toString()
- Method in class alice.tuprolog.
Int
toString()
- Method in class alice.tuprolog.
InvalidLibraryException
toString()
- Method in class alice.tuprolog.
Long
toString()
- Method in class alice.tuprolog.
PrimitiveInfo
toString(Term)
- Method in class alice.tuprolog.
Prolog
Gets the string representation of a term, using operators currently defined by engine
toString()
- Method in class alice.tuprolog.
SolveInfo
Returns the string representation of the result of the demonstration.
toString()
- Method in class alice.tuprolog.
StateEnd
toString()
- Method in class alice.tuprolog.
Struct
Gets the string representation of this structure Specific representations are provided for lists and atoms.
toString()
- Method in class alice.tuprolog.
SubGoalElement
toString()
- Method in class alice.tuprolog.
SubGoalStore
toString()
- Method in class alice.tuprolog.
SubGoalTree
toString()
- Method in class alice.tuprolog.
Theory
toString()
- Method in class alice.tuprolog.
Var
Gets the string representation of this variable.
toString()
- Method in class alice.tuprolog.event.
SpyEvent
toStringFlattened()
- Method in class alice.tuprolog.
Var
Gets the string representation of this variable, providing the string representation of the linked term in the case of bound variable
toTerm(String)
- Method in class alice.tuprolog.
Prolog
Gets a term from a string, using the operators currently defined by the engine
true_0()
- Method in class alice.tuprolog.
BuiltIn
type
- Variable in class alice.tuprolog.
Operator
type(xf,yf,fx,fy,xfx,xfy,yfy,yfx
U
UnknownVarException
- exception alice.tuprolog.
UnknownVarException
.
This exception means that a not well formed goal has been specified.
UnknownVarException()
- Constructor for class alice.tuprolog.
UnknownVarException
unify(Term, Term)
- Method in class alice.tuprolog.
Library
tries to unify two terms The runtime (demonstration) context currently used by the engine is deployed and altered.
unify(Term, Term)
- Method in class alice.tuprolog.
Prolog
Unifies two terms using current demonstration context.
unify(Prolog, Term)
- Method in class alice.tuprolog.
Term
Try to unify two terms
unify_2(Term, Term)
- Method in class alice.tuprolog.
BuiltIn
unloadLibrary(String)
- Method in class alice.tuprolog.
Prolog
Unloads a previously loaded library
unload_library_1(Term)
- Method in class alice.tuprolog.
BuiltIn
V
Var
- class alice.tuprolog.
Var
.
This class represents a variable term.
Var(String)
- Constructor for class alice.tuprolog.
Var
Creates a variable identified by a name.
Var()
- Constructor for class alice.tuprolog.
Var
Creates an anonymous variable This is equivalent to build a variable with name _
W
WarningEvent
- class alice.tuprolog.event.
WarningEvent
.
This class defines an event defining a warning emitted by a prolog engine
WarningEvent(Object, String)
- Constructor for class alice.tuprolog.event.
WarningEvent
WarningListener
- interface alice.tuprolog.event.
WarningListener
.
This interface defines the method handling a warning generated by a prolog engine
warn(String)
- Method in class alice.tuprolog.
Prolog
Notifies a warn information event
$
A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes