$ 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