Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

$ 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