Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep
Overview  Package  Class  Use  Deprecated   Index 
Home >> All >> alice >> [ tuprolog overview ]  PREV  NEXT
A B C D E F G H I K L M N O P R S T U V W

A

ANY - Static variable in class alice.tuprolog.Var
 
ATOM - Static variable in class alice.tuprolog.Tokenizer
 
ATTRMASK - Static variable in class alice.tuprolog.Tokenizer
 
Agent - class alice.tuprolog.Agent.
prolog virtual machine on a separate thread
Agent(String) - Constructor for class alice.tuprolog.Agent
 
Agent(String, String) - Constructor for class alice.tuprolog.Agent
 
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
 
addElements(LinkedList, boolean, String) - Method in class alice.tuprolog.TheoryManager
appends a clauses list to the dbase (in the same order of elements)
addOutputListener(OutputListener) - Method in class alice.tuprolog.Prolog
 
addOutputListener(OutputListener) - Method in class alice.tuprolog.PrologVM
 
addSpyListener(SpyListener) - Method in class alice.tuprolog.Prolog
 
addSpyListener(SpyListener) - Method in class alice.tuprolog.PrologVM
 
addStateListener(StateListener) - Method in class alice.tuprolog.Prolog
 
addStateListener(StateListener) - Method in class alice.tuprolog.PrologVM
 
addTheory(Theory) - Method in class alice.tuprolog.Prolog
adds (appending) a theory to the current one
addTheory(Theory) - Method in class alice.tuprolog.PrologVM
adds new theory
addTheory(Struct) - Method in class alice.tuprolog.PrologVM
adds new theory providing a clauses list
alice.tuprolog - package alice.tuprolog
 
append(Term) - Method in class alice.tuprolog.Struct
significant only for list compound: appends an element to the list compound
append(Theory) - Method in class alice.tuprolog.Theory
adds a theory to the present one.
arg - Variable in class alice.tuprolog.Struct
args array
arity - Variable in class alice.tuprolog.Struct
arity of the structure note: 0 -> string atom
assertA(Struct, boolean, String) - Method in class alice.tuprolog.TheoryManager
inserting of a clause at the head of the dbase
assertZ(Struct, boolean, String) - Method in class alice.tuprolog.TheoryManager
inserting of a clause at the end of the dbase
atom_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
atomic_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 

B

BAR - Static variable in class alice.tuprolog.Tokenizer
 
BUILTIN - Static variable in class alice.tuprolog.PrologVM
some of the core builtin predicates arranged as matrix for fast recognition during identifying process
backTracking() - Method in class alice.tuprolog.PrologVM
 
backTracking(RTContext) - Method in class alice.tuprolog.PrologVM
 
bindToBuiltinFunctor(Object) - Method in class alice.tuprolog.Struct
links this compound to builtin functor method execution of an object
bindToBuiltinPredicate(Object) - Method in class alice.tuprolog.Struct
links this compound to builtin predicate method execution of an object
bindings - Variable in class alice.tuprolog.SolveResultInfo
goal variable state after demonstration
builtin(RTContext) - Method in class alice.tuprolog.PrologVM
 
builtin_args - Variable in class alice.tuprolog.Struct
for optimization purposes

C

COMMA - Static variable in class alice.tuprolog.Tokenizer
 
CONT - Static variable in class alice.tuprolog.PrologVM
ask for continuing eval cycle
ClauseInfo - class alice.tuprolog.ClauseInfo.
class mantaining information about a clause creation ( Clause copy, final time T after renaming, validity flag Flag).
ClauseInfo(Struct, int, boolean, String) - Constructor for class alice.tuprolog.ClauseInfo
building a valid clause with a time stamp = original time stamp + NumVar in clause
ClauseInfo(Struct, PrologVM, boolean, String) - Constructor for class alice.tuprolog.ClauseInfo
building a clause ready to be saved in the dBase, rewriting 'fact' clauses (i.e.
CoreLibrary - class alice.tuprolog.CoreLibrary.
built-in predicates always loaded by prolog virtual machine.
CoreLibrary() - Constructor for class alice.tuprolog.CoreLibrary
 
charList - Variable in class alice.tuprolog.Tokenizer
where to store unread characters
clause - Variable in class alice.tuprolog.ClauseInfo
referring clause
clauseDBase - Variable in class alice.tuprolog.TheoryManager
clause dbase
clauseNumber - Variable in class alice.tuprolog.TheoryManager
number of clauses
clear(boolean) - Method in class alice.tuprolog.TheoryManager
empties the dbase.
clearTheory() - Method in class alice.tuprolog.Prolog
clears current theory
clearTheory() - Method in class alice.tuprolog.PrologVM
clears dynamic theory
clone() - Method in class alice.tuprolog.Term
cloning the term.
code - Variable in class alice.tuprolog.Struct
 
compatibleGoals - Variable in class alice.tuprolog.RTContext
clause compatible with goal list
compound_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
constant_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
consult(String, boolean, boolean, String) - Method in class alice.tuprolog.TheoryManager
consults a theory.
consult(Struct, boolean, boolean, String) - Method in class alice.tuprolog.TheoryManager
 
consultError_line - Variable in class alice.tuprolog.TheoryManager
error line after consulting error
consultError_pos - Variable in class alice.tuprolog.TheoryManager
error pos after consulting error
context - Variable in class alice.tuprolog.GoalInfo
runtime context of the demo
copy(LinkedList) - Method in class alice.tuprolog.NullTerm
 
copy(LinkedList) - Method in class alice.tuprolog.Struct
 
copy(LinkedList) - Method in class alice.tuprolog.Term
gets a copy (with renamed variables) of the term.
copy(LinkedList) - Method in class alice.tuprolog.Var
copying a var.
core - Variable in class alice.tuprolog.Agent
 
currentContext - Variable in class alice.tuprolog.PrologVM
runtime context of the demo
currentGoal - Variable in class alice.tuprolog.PrologVM
current goal to be evaluated
currentGoal - Variable in class alice.tuprolog.RTContext
current goal
currentLibraries - Variable in class alice.tuprolog.PrologVM
dynamically loaded built-in libraries
currentVars - Variable in class alice.tuprolog.PrologVM
vars present in current goal
cut() - Method in class alice.tuprolog.RTContext
cuts current SLD tree

D

DQ_SEQUENCE - Static variable in class alice.tuprolog.Tokenizer
 
DefaultOperatorManager - class alice.tuprolog.DefaultOperatorManager.
an operator manager with some standard operators defined
DefaultOperatorManager() - Constructor for class alice.tuprolog.DefaultOperatorManager
 
defaultOperatorManager - Static variable in class alice.tuprolog.Parser
the parser use a default operator manager if none is provided
dismiss() - Method in class alice.tuprolog.Library
method invoked by prolog engine when library is going to be removed
doubleValue - Variable in class alice.tuprolog.Term
 
dynamic - Variable in class alice.tuprolog.ClauseInfo
if dynamic clause, then asserted/reatracted/user consulted

E

END - Static variable in class alice.tuprolog.Tokenizer
 
EOF - Static variable in class alice.tuprolog.Parser
 
EOF - Static variable in class alice.tuprolog.Tokenizer
 
ERROR - Static variable in class alice.tuprolog.Parser
 
ERROR - Static variable in class alice.tuprolog.Tokenizer
 
elements() - Method in class alice.tuprolog.TheoryManager
returns a list of dbase valid clause copies, grouped by functor
elements(LinkedList, boolean, String) - Method in class alice.tuprolog.TheoryManager
resets dbase, clearing and and filling it with elements
engine - Variable in class alice.tuprolog.Library
prolog core which loaded the library
engine - Variable in class alice.tuprolog.TheoryManager
engine owner of the manager
equals(Object) - Method in class alice.tuprolog.Struct
 
eval() - Method in class alice.tuprolog.PrologVM
 
eval(RTContext) - Method in class alice.tuprolog.PrologVM
 
evalAsBuiltinFunctor() - Method in class alice.tuprolog.Struct
invokes the built-in functor linked to the compound
evalAsBuiltinPredicate() - Method in class alice.tuprolog.Struct
invokes the built-in predicate linked to the compound
evalAsNumber(Term) - Static method in class alice.tuprolog.PrologVM
Term evaluation as numeric expression
evalFlag - Variable in class alice.tuprolog.PrologVM
eval result (FALSE,TRUE,TRUE_CP,...)
evalState - Variable in class alice.tuprolog.RTContext
evaluation state: false -> not demonstrable goal
existChoice() - Method in class alice.tuprolog.RTContext
returns true if at least other solution path exists
expr0() - Method in class alice.tuprolog.Parser
refer to grammar in tuProlog documentation to understand following method
expr0_arglist() - Method in class alice.tuprolog.Parser
 
expr0_list() - Method in class alice.tuprolog.Parser
 
exprA(int) - Method in class alice.tuprolog.Parser
refer to grammar in tuProlog documentation to understand following method
exprA_inStruct(int) - Method in class alice.tuprolog.Parser
refer to grammar in tuProlog documentation to understand following method
exprB(int) - Method in class alice.tuprolog.Parser
refer to grammar in tuProlog documentation to understand following method
exprB_inStruct(int) - Method in class alice.tuprolog.Parser
refer to grammar in tuProlog documentation to understand following method
extFunctors - Variable in class alice.tuprolog.PrologVM
builtin evaluable functors currently defined by libraries
extPredicates - Variable in class alice.tuprolog.PrologVM
builtin predicates currently defined by libraries

F

FALSE - Static variable in class alice.tuprolog.PrologVM
false goal
FALSE - Static variable in class alice.tuprolog.Term
 
FLOAT - Static variable in class alice.tuprolog.Term
 
FLOAT - Static variable in class alice.tuprolog.Tokenizer
 
FUNCTOR - Static variable in class alice.tuprolog.Tokenizer
 
find(Struct, int, int) - Method in class alice.tuprolog.TheoryManager
finds all the clauses unifying with head and returns a list of renamed (without logic names) clause copies
findFromNameIn(LinkedList) - Method in class alice.tuprolog.Var
finds a var Term of the list with the same Name of current Term.
findIn(String, LinkedList) - Method in class alice.tuprolog.Parser
finds a var already present in a list
findIn(LinkedList) - Method in class alice.tuprolog.Var
finds a var Term of the list with the same time of current Term.
findIn(Struct) - Method in class alice.tuprolog.Var
finds var occurence in a Struct, doing occur-check.
flag - Variable in class alice.tuprolog.ClauseInfo
validity flag (if is false, then clause is not valid anymore because, for instance, it has been removed logically from theory, but phisically yet present)
flag - Variable in class alice.tuprolog.SolveResultInfo
core flag after demonstration
float_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
free(int) - Method in class alice.tuprolog.NullTerm
 
free(int) - Method in class alice.tuprolog.Struct
 
free(int) - Method in class alice.tuprolog.Term
significant for Var terms.
free(int) - Method in class alice.tuprolog.Var
ununification by means of the code m (only link with code greater or equal than m are free)
fromList() - Method in class alice.tuprolog.Struct
gets a flat Struct from a list compound
functor - Variable in class alice.tuprolog.Struct
pure name of the structure note: without arity indication

G

GoalInfo - class alice.tuprolog.GoalInfo.
runtime info about goal to demonstrate
GoalInfo(Term) - Constructor for class alice.tuprolog.GoalInfo
 
get(String) - Method in class alice.tuprolog.Substitution
gets the value of a variable present in the substitution
getAttribute() - Method in class alice.tuprolog.Token
attribute could be EOF or ERROR
getContext() - Method in class alice.tuprolog.PrologVM
 
getCurrentLine() - Method in class alice.tuprolog.Parser
 
getCurrentLine() - Method in class alice.tuprolog.Tokenizer
gets current line index on the stream
getCurrentPos() - Method in class alice.tuprolog.Parser
 
getCurrentPos() - Method in class alice.tuprolog.Tokenizer
gets current character index on the stream
getCurrentTerm() - Method in class alice.tuprolog.Parser
 
getCurrentTermType() - Method in class alice.tuprolog.Parser
 
getCurrentVarList() - Method in class alice.tuprolog.Parser
 
getDouble() - Method in class alice.tuprolog.Term
gets term double value.
getDynamicClauseList() - Method in class alice.tuprolog.TheoryManager
returns a list of dbase valid dynamic clause
getDynamicClauses() - Method in class alice.tuprolog.PrologVM
gets current dynamic theory as clauses list
getEngine() - Method in class alice.tuprolog.Library
 
getFloat() - Method in class alice.tuprolog.Term
gets term float value.
getFunctors() - Method in class alice.tuprolog.Library
used by core engine to retrieve built-in functors
getHaltCode() - Method in interface alice.tuprolog.SolveInfo
gets halt code for a demonstration that has been halted
getHaltCode() - Method in class alice.tuprolog.SolveResultInfo
 
getImpl() - Method in class alice.tuprolog.Prolog
gets more advanced and technical interface to the engine
getInt() - Method in class alice.tuprolog.Term
gets term int value.
getIterator(String) - Static method in class alice.tuprolog.Term
gets an iterator that provides a term stream from a source text.
getLibrary(String) - Method in class alice.tuprolog.Prolog
gets a previously loaded library
getLibrary(String) - Method in class alice.tuprolog.PrologVM
gets a loaded library
getLong() - Method in class alice.tuprolog.Term
gets term long value.
getMsg() - Method in class alice.tuprolog.OutputEvent
 
getMsg() - Method in class alice.tuprolog.SpyEvent
 
getMsg() - Method in class alice.tuprolog.StateEvent
 
getName() - Method in class alice.tuprolog.Struct
 
getName() - Method in class alice.tuprolog.Term
significant only for Var and Struct derived class.
getName() - Method in class alice.tuprolog.Var
 
getObject() - Method in class alice.tuprolog.Term
gets term object value
getObject(int) - Method in class alice.tuprolog.Term
significant only for Struct derived class.
getOperatorManager() - Method in class alice.tuprolog.PrologVM
 
getOperators() - Method in class alice.tuprolog.OperatorManager
 
getPredicates() - Method in class alice.tuprolog.Library
used by core engine to retrieve built-in predicates
getQueue(Object) - Method in class alice.tuprolog.TheoryManager
gets elements list related to key k
getRenamedCopy(Term) - Method in class alice.tuprolog.Library
gets a copy of a term with variables renamed.
getRenamedTermCopy(Term) - Method in class alice.tuprolog.RTContext
gets a copy of a term renaming the vars starting from current time index
getSolution() - Method in interface alice.tuprolog.SolveInfo
gets info about the (unified) goal of the relative successful demonstration
getSolution() - Method in class alice.tuprolog.SolveResultInfo
 
getStartGoal() - Method in class alice.tuprolog.TheoryManager
gets the goal eventually defined by last parsed theory.
getString(int) - Method in class alice.tuprolog.Struct
 
getString(int) - Method in class alice.tuprolog.Term
significant only for Struct derived class.
getStruct(int) - Method in class alice.tuprolog.Struct
gets the i-th arg as a Struct
getStruct(String) - Method in class alice.tuprolog.Struct
gets the first arg which is a compound with functor specified
getStruct(int) - Method in class alice.tuprolog.Term
significant only for Struct derived class.
getStruct(String) - Method in class alice.tuprolog.Term
significant only for Struct derived class.
getSubstitution() - Method in interface alice.tuprolog.SolveInfo
gets info about (eventually present) bound variables of the relative successful demonstration
getSubstitution() - Method in class alice.tuprolog.SolveResultInfo
 
getTerm() - Method in class alice.tuprolog.NullTerm
 
getTerm(int) - Method in class alice.tuprolog.Struct
gets the i-th arg as a Term
getTerm() - Method in class alice.tuprolog.Struct
 
getTerm() - Method in class alice.tuprolog.Term
gets the actual term of the object.
getTerm(int) - Method in class alice.tuprolog.Term
significant only for Struct derived class.
getTerm() - Method in class alice.tuprolog.Var
gets the real term.
getTheory() - Method in class alice.tuprolog.Library
 
getTheory() - Method in class alice.tuprolog.Prolog
gets current dynamic theory
getTheory() - Method in class alice.tuprolog.PrologVM
gets current (dynamic) theory
getTokenizer() - Method in class alice.tuprolog.Parser
 
getType() - Method in class alice.tuprolog.Token
 
getValue() - Method in class alice.tuprolog.Token
 
getVar(String) - Method in class alice.tuprolog.Struct
gets the first arg which is a variable with functor specified
getVar(String) - Method in class alice.tuprolog.Term
significant only for Struct derived class.
getVar(String) - Method in class alice.tuprolog.Var
 
goal - Variable in class alice.tuprolog.GoalInfo
demonstrating goal
goal - Variable in class alice.tuprolog.SolveResultInfo
goal subject of demosntration
goalText - Variable in class alice.tuprolog.Agent
 
goalsToEval - Variable in class alice.tuprolog.RTContext
goals to execute list
ground_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 

H

HALT - Static variable in class alice.tuprolog.PrologVM
the demo process must halt
halt() - Method in interface alice.tuprolog.SolveInfo
tests if an haltquit predicate has been requested
halt() - Method in class alice.tuprolog.SolveResultInfo
 
haltCode - Variable in class alice.tuprolog.PrologVM
in the case of HALT flag
haltCode - Variable in class alice.tuprolog.SolveResultInfo
 
hasNext() - Method in class alice.tuprolog.StructIterator
 
hasNext - Variable in class alice.tuprolog.TermIterator
 
hasNext() - Method in class alice.tuprolog.TermIterator
 
hasOpenAlternatives() - Method in interface alice.tuprolog.SolveInfo
tests if there are open alternatives in the relative demonstration
hasOpenAlternatives() - Method in class alice.tuprolog.SolveResultInfo
 
hash - Variable in class alice.tuprolog.Struct
to speedup hash map operation
hashCode() - Method in class alice.tuprolog.Struct
 

I

INIT - Static variable in class alice.tuprolog.PrologVM
eval just started
INT - Static variable in class alice.tuprolog.Term
 
INTEGER - Static variable in class alice.tuprolog.Tokenizer
 
InvalidLibraryException - exception alice.tuprolog.InvalidLibraryException.
 
InvalidLibraryException() - Constructor for class alice.tuprolog.InvalidLibraryException
 
InvalidTheoryException - exception alice.tuprolog.InvalidTheoryException.
 
InvalidTheoryException() - Constructor for class alice.tuprolog.InvalidTheoryException
 
InvalidTheoryException(int, int) - Constructor for class alice.tuprolog.InvalidTheoryException
 
InvalidVarNameException - exception alice.tuprolog.InvalidVarNameException.
 
InvalidVarNameException() - Constructor for class alice.tuprolog.InvalidVarNameException
 
id - Variable in class alice.tuprolog.Term
 
identify(Term, HashMap, HashMap) - Static method in class alice.tuprolog.PrologVM
identifies the term passed as argument.
imp - Variable in class alice.tuprolog.Prolog
 
indentPredicates(Term) - Static method in class alice.tuprolog.ClauseInfo
 
indentPredicatesAsArgX(Term, OperatorManager, int) - Static method in class alice.tuprolog.ClauseInfo
 
indentPredicatesAsArgY(Term, OperatorManager, int) - Static method in class alice.tuprolog.ClauseInfo
 
info(String) - Method in class alice.tuprolog.PrologVM
 
init(RTContext, Term, int, int, int) - Method in class alice.tuprolog.PrologVM
 
inputStream - Variable in class alice.tuprolog.Tokenizer
string input stream source of text to be parsed
insert(Term) - Method in class alice.tuprolog.Struct
significant only for list compound: head insertion
integer_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
isAny() - Method in class alice.tuprolog.Struct
 
isAny() - Method in class alice.tuprolog.Term
is it a prolog any(_) variable?
isAny() - Method in class alice.tuprolog.Var
 
isAtom() - Method in class alice.tuprolog.NullTerm
 
isAtom() - Method in class alice.tuprolog.Struct
 
isAtom() - Method in class alice.tuprolog.Term
is it a prolog (alphanumeric) atom?
isAtom(String) - Static method in class alice.tuprolog.Tokenizer
is the string a prolog atom?
isAtom() - Method in class alice.tuprolog.Var
 
isBuiltinFunctor() - Method in class alice.tuprolog.Struct
tests for bultin functor
isBuiltinPredicate() - Method in class alice.tuprolog.Struct
tests for bultin predicate
isClause() - Method in class alice.tuprolog.NullTerm
 
isClause() - Method in class alice.tuprolog.Struct
 
isClause() - Method in class alice.tuprolog.Term
is it a prolog clause?
isClause() - Method in class alice.tuprolog.Var
 
isCmt(int) - Static method in class alice.tuprolog.Tokenizer
 
isCompound() - Method in class alice.tuprolog.NullTerm
 
isCompound() - Method in class alice.tuprolog.Struct
 
isCompound() - Method in class alice.tuprolog.Term
is it a prolog compound term?
isCompound() - Method in class alice.tuprolog.Var
 
isConst() - Method in class alice.tuprolog.NullTerm
 
isConst() - Method in class alice.tuprolog.Struct
 
isConst() - Method in class alice.tuprolog.Term
is it a constant prolog term?
isConst() - Method in class alice.tuprolog.Var
 
isDgt(int) - Static method in class alice.tuprolog.Tokenizer
 
isEQU(Term) - Method in class alice.tuprolog.NullTerm
 
isEQU(Term) - Method in class alice.tuprolog.Struct
 
isEQU(Term) - Method in class alice.tuprolog.Term
is term equal to term t?
isEQU(Term) - Method in class alice.tuprolog.Var
 
isEmptyList() - Method in class alice.tuprolog.NullTerm
 
isEmptyList() - Method in class alice.tuprolog.Struct
 
isEmptyList() - Method in class alice.tuprolog.Term
is it a prolog empty list?
isEmptyList() - Method in class alice.tuprolog.Var
 
isExp(int) - Static method in class alice.tuprolog.Tokenizer
 
isFalse() - Method in class alice.tuprolog.Struct
 
isFalse() - Method in class alice.tuprolog.Term
is it a prolog false atom?
isFloat() - Method in class alice.tuprolog.Term
is it a prolog float term?
isGT(Term) - Method in class alice.tuprolog.NullTerm
 
isGT(Term) - Method in class alice.tuprolog.Struct
 
isGT(Term) - Method in class alice.tuprolog.Term
is term greater than term t?
isGT(Term) - Method in class alice.tuprolog.Var
 
isGround() - Method in class alice.tuprolog.NullTerm
 
isGround() - Method in class alice.tuprolog.Struct
 
isGround() - Method in class alice.tuprolog.Term
is it a ground term?
isGround() - Method in class alice.tuprolog.Var
 
isInt() - Method in class alice.tuprolog.Term
is it a prolog integer term?
isLLt(int) - Static method in class alice.tuprolog.Tokenizer
 
isLibraryFunctor(String, int) - Method in class alice.tuprolog.PrologVM
checks if a evaluable functor is a registered built-in
isLibraryPredicate(String, int) - Method in class alice.tuprolog.PrologVM
checks if a predicate is a registered built-in
isList() - Method in class alice.tuprolog.NullTerm
 
isList() - Method in class alice.tuprolog.Struct
 
isList() - Method in class alice.tuprolog.Term
is it a prolog list?
isList() - Method in class alice.tuprolog.Var
 
isLtr(int) - Static method in class alice.tuprolog.Tokenizer
 
isNum() - Method in class alice.tuprolog.NullTerm
 
isNum() - Method in class alice.tuprolog.Struct
 
isNum() - Method in class alice.tuprolog.Term
is it a prolog numeric term?
isNum(int) - Method in class alice.tuprolog.Tokenizer
 
isNum() - Method in class alice.tuprolog.Var
 
isObject() - Method in class alice.tuprolog.Term
is it a prolog incapsulating a java object?
isSpy() - Method in class alice.tuprolog.Prolog
checks if the engine is producing SpyEvent info
isSpy() - Method in class alice.tuprolog.PrologVM
 
isStruct() - Method in class alice.tuprolog.Term
is it a struct
isSym(int) - Static method in class alice.tuprolog.Tokenizer
 
isTer(int) - Static method in class alice.tuprolog.Tokenizer
 
isTrue() - Method in class alice.tuprolog.Struct
 
isTrue() - Method in class alice.tuprolog.Term
is it a prolog true atom?
isULt(int) - Static method in class alice.tuprolog.Tokenizer
 
isVar() - Method in class alice.tuprolog.Term
is it a prolog variable?
isWht(int) - Static method in class alice.tuprolog.Tokenizer
 
iterator() - Method in class alice.tuprolog.Struct
for list compound

K

keepVariables - Variable in class alice.tuprolog.Parser
 

L

LBRA - Static variable in class alice.tuprolog.Tokenizer
 
LBRA2 - Static variable in class alice.tuprolog.Tokenizer
 
LPAR - Static variable in class alice.tuprolog.Tokenizer
 
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
 
lastTokenType - Variable in class alice.tuprolog.Tokenizer
last token type
libName - Variable in class alice.tuprolog.ClauseInfo
if the clause is part of a theory in a lib (null if not)
library - Variable in class alice.tuprolog.Struct
lib object where the builtins are defined
line - Variable in class alice.tuprolog.InvalidTheoryException
 
link - Variable in class alice.tuprolog.Var
 
listHead() - Method in class alice.tuprolog.Struct
significant only for list compound: gets the head
listTail() - Method in class alice.tuprolog.Struct
significant only for list compound: gets the tail
list_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
loadChoice() - Method in class alice.tuprolog.RTContext
gets the first open alternatives if exist and try to unify with current goal
loadFGoal() - Method in class alice.tuprolog.RTContext
fetches next goal to be executed
loadLibrary(String) - Method in class alice.tuprolog.Prolog
loads a builtin library
loadLibrary(String) - Method in class alice.tuprolog.PrologVM
loads a library providing the name of its class
loadStatus() - Method in class alice.tuprolog.RTContext
loads the time and mark index of current goal
loadTGoal() - Method in class alice.tuprolog.RTContext
fetches next goal from executed goal list (backtrack phase)
longValue - Variable in class alice.tuprolog.Term
 

M

MalformedGoalException - exception alice.tuprolog.MalformedGoalException.
 
MalformedGoalException() - Constructor for class alice.tuprolog.MalformedGoalException
 
main(String[]) - Static method in class alice.tuprolog.Agent
 
mark - Variable in class alice.tuprolog.GoalInfo
time and mark index from which beginning next rename and unification operation
mark - Variable in class alice.tuprolog.RTContext
 
mark - Variable in class alice.tuprolog.Var
 
match(Term) - Method in class alice.tuprolog.NullTerm
 
match(Term) - Method in class alice.tuprolog.Struct
 
match(Term) - Method in class alice.tuprolog.Term
matching without unification; only true or false, without bindings.
match(Term) - Method in class alice.tuprolog.Var
 
method - Variable in class alice.tuprolog.Struct
method (of the lib object) representing the builtin behaviour
msg - Variable in class alice.tuprolog.OutputEvent
text produced
msg - Variable in class alice.tuprolog.SpyEvent
event description
msg - Variable in class alice.tuprolog.StateEvent
event description
mustStop - Variable in class alice.tuprolog.PrologVM
the process demo must stop?

N

NULL - Static variable in class alice.tuprolog.Term
 
NoHaltException - exception alice.tuprolog.NoHaltException.
 
NoHaltException() - Constructor for class alice.tuprolog.NoHaltException
 
NoMoreSolutionException - exception alice.tuprolog.NoMoreSolutionException.
 
NoMoreSolutionException() - Constructor for class alice.tuprolog.NoMoreSolutionException
 
NoSolutionException - exception alice.tuprolog.NoSolutionException.
 
NoSolutionException() - Constructor for class alice.tuprolog.NoSolutionException
 
NullTerm - class alice.tuprolog.NullTerm.
prolog Null Term, used only for implementation purpose currently used only as terminator in Struct representing prolog list TO BE REMOVED AS SOON AS POSSIBLE bacause of not significant
NullTerm() - Constructor for class alice.tuprolog.NullTerm
 
nCompatibleGoals - Variable in class alice.tuprolog.RTContext
 
nGoalsToEval - Variable in class alice.tuprolog.RTContext
 
nOpenTermsExecuted - Variable in class alice.tuprolog.RTContext
number of choices not yet explored
nTermsExecuted - Variable in class alice.tuprolog.RTContext
number of choices explored
name - Variable in class alice.tuprolog.Operator
operator name
name - Variable in class alice.tuprolog.Var
 
next() - Method in class alice.tuprolog.StructIterator
 
next() - Method in class alice.tuprolog.TermIterator
 
nextToken() - Method in class alice.tuprolog.Tokenizer
 
nonvar_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
notifyOutput(OutputEvent) - Method in class alice.tuprolog.PrologVM
 
notifySpy(SpyEvent) - Method in class alice.tuprolog.PrologVM
 
notifyState(StateEvent) - Method in class alice.tuprolog.PrologVM
 
number_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 

O

OBJECT - Static variable in class alice.tuprolog.Term
 
OPERATOR - Static variable in class alice.tuprolog.Tokenizer
 
OP_HIGH - Static variable in class alice.tuprolog.OperatorManager
highest operator priority
OP_LOW - Static variable in class alice.tuprolog.OperatorManager
lowest operator priority
Operator - class alice.tuprolog.Operator.
prolog operator info: name, type, priority
Operator(String, String, int) - Constructor for class alice.tuprolog.Operator
 
OperatorManager - class alice.tuprolog.OperatorManager.
collects and manages prolog operators
OperatorManager() - Constructor for class alice.tuprolog.OperatorManager
 
OutputEvent - class alice.tuprolog.OutputEvent.
output event (after a write operation, for instance) generated by prolog core
OutputEvent(Object, String) - Constructor for class alice.tuprolog.OutputEvent
 
OutputListener - interface alice.tuprolog.OutputListener.
 
object_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
onOutput(OutputEvent) - Method in interface alice.tuprolog.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.SpyListener
 
onState(StateEvent) - Method in interface alice.tuprolog.StateListener
 
opManager - Variable in class alice.tuprolog.Parser
operator manager actually used
opManager - Variable in class alice.tuprolog.PrologVM
manager of operators
opNew(String, String, int) - Method in class alice.tuprolog.OperatorManager
deletes evelentually present operator (name,type) and adds a new op(precedence,type,name);
opNext(int) - Method in class alice.tuprolog.OperatorManager
 
opPrio(String, String) - Method in class alice.tuprolog.OperatorManager
gets op priority (OP_LOW if the op is not defined)
opQueue - Variable in class alice.tuprolog.OperatorManager
current known operators
optimize() - Method in class alice.tuprolog.TheoryManager
compacts dbase deleting items invalidated by retract op.
outputListeners - Variable in class alice.tuprolog.PrologVM
listeners registrated for virtual machine output events

P

Parser - class alice.tuprolog.Parser.
prolog terms and sentences parser
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
Prolog - class alice.tuprolog.Prolog.
It's the main class of the tuProlog system.
Prolog() - Constructor for class alice.tuprolog.Prolog
construction with default libraries: ISOLibrary, MetaLibrary, JavaLibrary, IOLibrary
Prolog(String[]) - Constructor for class alice.tuprolog.Prolog
construction specifying (eventually) libraries
PrologVM - class alice.tuprolog.PrologVM.
the tuprolog virtual machine.
PrologVM() - Constructor for class alice.tuprolog.PrologVM
default creation (default libraries are loaded).
PrologVM(String[]) - Constructor for class alice.tuprolog.PrologVM
creation specifying what libraries to load immediately.
parse(String) - Static method in class alice.tuprolog.Term
parse a Term from a string.
parse(String, OperatorManager) - Static method in class alice.tuprolog.Term
parse a Term from a string.
parseClause(Struct, LinkedQueue, boolean, String) - Method in class alice.tuprolog.TheoryManager
 
parseSentence(String, OperatorManager) - Static method in class alice.tuprolog.Term
 
parser - Variable in class alice.tuprolog.TermIterator
 
pos - Variable in class alice.tuprolog.InvalidTheoryException
 
prio - Variable in class alice.tuprolog.Operator
priority

R

RBRA - Static variable in class alice.tuprolog.Tokenizer
 
RBRA2 - Static variable in class alice.tuprolog.Tokenizer
 
RPAR - Static variable in class alice.tuprolog.Tokenizer
 
RTContext - class alice.tuprolog.RTContext.
runtime execution context during a demonstration.
RTContext() - Constructor for class alice.tuprolog.RTContext
 
readChar() - Method in class alice.tuprolog.Tokenizer
 
readObject(ObjectInputStream) - Method in class alice.tuprolog.Struct
 
readTerm(boolean) - Method in class alice.tuprolog.Parser
parses next term from the stream built on string.
readToken() - Method in class alice.tuprolog.Tokenizer
reads next available token
rebindBuiltins() - Method in class alice.tuprolog.TheoryManager
finds all the clauses unifying with head and returns a list of renamed (without logic names) clause copies
remove() - Method in class alice.tuprolog.StructIterator
 
remove() - Method in class alice.tuprolog.TermIterator
 
removeLibraryTheory(String) - Method in class alice.tuprolog.TheoryManager
remove all the clauses of lib theory
removeOutputListener(OutputListener) - Method in class alice.tuprolog.Prolog
 
removeOutputListener(OutputListener) - Method in class alice.tuprolog.PrologVM
 
removeSpyListener(SpyListener) - Method in class alice.tuprolog.Prolog
 
removeSpyListener(SpyListener) - Method in class alice.tuprolog.PrologVM
 
removeStateListener(StateListener) - Method in class alice.tuprolog.Prolog
 
removeStateListener(StateListener) - Method in class alice.tuprolog.PrologVM
 
rename(LinkedList, int, boolean) - Static method in class alice.tuprolog.Var
renaming of all the variables of the argument list.
renameVars(LinkedList, int) - Method in class alice.tuprolog.Struct
 
renameVars(int) - Method in class alice.tuprolog.Term
renaming variables of the term starting from specified count.
renameVars(LinkedList, int) - Method in class alice.tuprolog.Term
 
renameVars(LinkedList, int) - Method in class alice.tuprolog.Var
 
reset() - Method in class alice.tuprolog.Tokenizer
resets parsing process.
resolveVarTimes(LinkedList, int) - Method in class alice.tuprolog.Struct
 
retract(Struct, int, int) - Method in class alice.tuprolog.TheoryManager
removing from dbase the first clause with head unifying with clause (m if a free substitution index and t is the first free timestamp)
run() - Method in class alice.tuprolog.Agent
 

S

SQ_SEQUENCE - Static variable in class alice.tuprolog.Tokenizer
 
STRUCT - Static variable in class alice.tuprolog.Term
 
SYMCHAR - Static variable in class alice.tuprolog.Tokenizer
 
SolveInfo - interface alice.tuprolog.SolveInfo.
interface of objects returned by engine when invoking a demonstration
SolveResultInfo - class alice.tuprolog.SolveResultInfo.
implemntation of SolveInfo interface.
SolveResultInfo(int, LinkedList, Term, int) - Constructor for class alice.tuprolog.SolveResultInfo
 
SpyEvent - class alice.tuprolog.SpyEvent.
internal core event
SpyEvent(Object, String) - Constructor for class alice.tuprolog.SpyEvent
 
SpyListener - interface alice.tuprolog.SpyListener.
 
StateEvent - class alice.tuprolog.StateEvent.
core state event
StateEvent(Object, String) - Constructor for class alice.tuprolog.StateEvent
 
StateListener - interface alice.tuprolog.StateListener.
 
Struct - class alice.tuprolog.Struct.
Struct class represents both compound prolog term and alphanumeric atom term (considered as 0-arity compound).
Struct(String) - Constructor for class alice.tuprolog.Struct
atom
Struct(String, Term) - Constructor for class alice.tuprolog.Struct
1-arity constructor
Struct(String, Term, Term) - Constructor for class alice.tuprolog.Struct
2-arity constructor
Struct(String, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
3-arity constructor
Struct(String, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
4-arity constructor
Struct(String, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
5-arity constructor
Struct(String, Term, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
6-arity constructor
Struct(String, Term, Term, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct
7-arity constructor
Struct(String, Term[]) - Constructor for class alice.tuprolog.Struct
n-arity constructor - providing arg list
Struct(String, LinkedList) - Constructor for class alice.tuprolog.Struct
1-arity constructor - providing arg linked list
Struct() - Constructor for class alice.tuprolog.Struct
empty list constructor
Struct(Term, Term) - Constructor for class alice.tuprolog.Struct
constructor for list providing head and tail
Struct(int) - Constructor for class alice.tuprolog.Struct
 
Struct(String, int) - Constructor for class alice.tuprolog.Struct
 
StructIterator - class alice.tuprolog.StructIterator.
iterator for Structs representing lists
StructIterator(Struct) - Constructor for class alice.tuprolog.StructIterator
 
Substitution - class alice.tuprolog.Substitution.
helper class that represents substituion found in a goal demonstrartion
Substitution(Var[]) - Constructor for class alice.tuprolog.Substitution
 
sDBTS - Variable in class alice.tuprolog.RTContext
dbase before goal evaluation - it's a list of assert and retract ops done before
save(OutputStream, boolean) - Method in class alice.tuprolog.TheoryManager
saves the dbase on a output stream.
saveFGoal() - Method in class alice.tuprolog.RTContext
saves current goal to goals to be executed list
saveTGoal() - Method in class alice.tuprolog.RTContext
saves current goal to executed goals list
seq - Variable in class alice.tuprolog.Token
 
seq - Variable in class alice.tuprolog.Tokenizer
current token text
setCurrentVarList(LinkedList) - Method in class alice.tuprolog.Parser
 
setEngine(PrologVM) - Method in class alice.tuprolog.Library
 
setGoal(Term) - Method in class alice.tuprolog.RTContext
sets current goal
setKeepVariables(boolean) - Method in class alice.tuprolog.Parser
 
setSpy(boolean) - Method in class alice.tuprolog.Prolog
sets spy state: if true the engine produce SpytEvent to listeners
setSpy(boolean) - Method in class alice.tuprolog.PrologVM
 
setTheory(Theory) - Method in class alice.tuprolog.Prolog
replaces current theory with a new one
setTheory(Theory) - Method in class alice.tuprolog.PrologVM
sets new theory
setTheory(Struct) - Method in class alice.tuprolog.PrologVM
sets new theory providing a clauses list
skip() - Method in class alice.tuprolog.Parser
goes to EOF
skip() - Method in class alice.tuprolog.Tokenizer
 
solve(Term) - Method in class alice.tuprolog.Prolog
tries to demonstrate a goal.
solve(String) - Method in class alice.tuprolog.Prolog
tries to demonstrate a goal.
solve(Term) - Method in class alice.tuprolog.PrologVM
finds first solution of a goal
solve(String) - Method in class alice.tuprolog.PrologVM
finds first solution of a goal
solveEnd() - Method in class alice.tuprolog.Prolog
accepts current solution
solveEnd() - Method in class alice.tuprolog.PrologVM
ends solving process
solveHalt() - Method in class alice.tuprolog.Prolog
halts the demonstration
solveHalt() - Method in class alice.tuprolog.PrologVM
halts solving process
solveNext() - Method in class alice.tuprolog.Prolog
tries to find another solution.
solveNext() - Method in class alice.tuprolog.PrologVM
finds next solution
spy - Variable in class alice.tuprolog.PrologVM
spying state?
spy(int, String, Term) - Method in class alice.tuprolog.PrologVM
 
spy(String) - Method in class alice.tuprolog.PrologVM
 
spyListeners - Variable in class alice.tuprolog.PrologVM
listeners registrated for virtual machine internal events
startGoal - Variable in class alice.tuprolog.RTContext
starting goal
startGoal - Variable in class alice.tuprolog.TheoryManager
eventually start goal of a theory
startLevel - Variable in class alice.tuprolog.RTContext
starting level, time and mark
startMark - Variable in class alice.tuprolog.RTContext
starting level, time and mark
startTime - Variable in class alice.tuprolog.RTContext
starting level, time and mark
stateListeners - Variable in class alice.tuprolog.PrologVM
listeners registrated for virtual machine state change events
stdOutput(String) - Method in class alice.tuprolog.PrologVM
 
stepB(RTContext) - Method in class alice.tuprolog.PrologVM
backtracking
stepE(RTContext) - Method in class alice.tuprolog.PrologVM
 
success() - Method in interface alice.tuprolog.SolveInfo
tests for demontration success.
success() - Method in class alice.tuprolog.SolveResultInfo
 

T

TERM - Static variable in class alice.tuprolog.Parser
 
TRUE - Static variable in class alice.tuprolog.PrologVM
true goal
TRUE - Static variable in class alice.tuprolog.Term
 
TRUE_CP - Static variable in class alice.tuprolog.PrologVM
true goal with open alternatives
TYPEMASK - Static variable in class alice.tuprolog.Tokenizer
 
Term - class alice.tuprolog.Term.
root class for prolog data term.
Term(int) - Constructor for class alice.tuprolog.Term
constructs an integer prolog term using an int.
Term(long) - Constructor for class alice.tuprolog.Term
constructs an integer prolog term using a long.
Term(float) - Constructor for class alice.tuprolog.Term
constructs a real prolog term using a float.
Term(double) - Constructor for class alice.tuprolog.Term
constructs a real prolog term using a double.
Term(Object) - Constructor for class alice.tuprolog.Term
constructs a term incapsulating a java object.
Term() - Constructor for class alice.tuprolog.Term
 
TermIterator - class alice.tuprolog.TermIterator.
 
TermIterator(String) - Constructor for class alice.tuprolog.TermIterator
 
Theory - class alice.tuprolog.Theory.
Represents prolog theory which can be provided to prolog object.
Theory(InputStream) - Constructor for class alice.tuprolog.Theory
theory creation retrieving info from an input stream
Theory(String) - Constructor for class alice.tuprolog.Theory
theory creation from a text representing prolog clauses
TheoryManager - class alice.tuprolog.TheoryManager.
dbase clauses manager.
TheoryManager(PrologVM) - Constructor for class alice.tuprolog.TheoryManager
 
Token - class alice.tuprolog.Token.
represents a token read by the prolog term tokenizer
Token(String, int) - Constructor for class alice.tuprolog.Token
 
Tokenizer - class alice.tuprolog.Tokenizer.
tokenizer for prolog terms
Tokenizer(StringInputStream) - Constructor for class alice.tuprolog.Tokenizer
creating a tokenizer for the source stream
t - Variable in class alice.tuprolog.StructIterator
 
term - Variable in class alice.tuprolog.Parser
the term parsed
termsExecuted - Variable in class alice.tuprolog.RTContext
terms executed list
theory - Variable in class alice.tuprolog.Library
theory provided by the library
theory - Variable in class alice.tuprolog.Theory
 
theoryInputStream - Variable in class alice.tuprolog.Agent
 
theoryManager - Variable in class alice.tuprolog.PrologVM
manager of current theory
theoryText - Variable in class alice.tuprolog.Agent
 
time - Variable in class alice.tuprolog.GoalInfo
time and mark index from which beginning next rename and unification operation
time - Variable in class alice.tuprolog.RTContext
 
time - Variable in class alice.tuprolog.Var
 
timestamp - Variable in class alice.tuprolog.ClauseInfo
next Time Stamp after last used time in clause
toArray() - Method in class alice.tuprolog.Struct
gets an array from a list compound
toClause(Term) - Method in class alice.tuprolog.ClauseInfo
gets a clause from a generic Term
toList() - Method in class alice.tuprolog.Struct
gets a list Struct from a flat Struct
toRawString() - Method in class alice.tuprolog.Struct
as toString but without eventually present '' in functor string
toRawString() - Method in class alice.tuprolog.Term
significant only for Struct derived class; for real Term it's like toString
toString(OperatorManager) - Method in class alice.tuprolog.ClauseInfo
gets the string representation recognizing operators stored by provided operator manager
toString() - Method in class alice.tuprolog.ClauseInfo
gets string representation with default operator representation
toString() - Method in class alice.tuprolog.NullTerm
 
toString() - Method in class alice.tuprolog.SpyEvent
 
toString() - Method in class alice.tuprolog.Struct
stringizing the Struct, with different representation for list, atom, compound
toString() - Method in class alice.tuprolog.Substitution
 
toString() - Method in class alice.tuprolog.Term
stringizing the term without taking in consideration operators.
toString(OperatorManager) - Method in class alice.tuprolog.Term
stringizing the term taking in consideration operators declared in the engine.
toString() - Method in class alice.tuprolog.Theory
 
toString() - Method in class alice.tuprolog.Var
gets string representation of the var.
toString0() - Method in class alice.tuprolog.Struct
 
toStringAsArg(OperatorManager, int, boolean) - Method in class alice.tuprolog.Struct
 
toStringAsArg(OperatorManager, int, boolean) - Method in class alice.tuprolog.Term
stringize term as operator of priority prio.
toStringAsArgX(OperatorManager, int) - Method in class alice.tuprolog.Term
stringize term t as arg X of operator op with priority prio.
toStringAsArgY(OperatorManager, int) - Method in class alice.tuprolog.Term
stringize term as arg Y of operator op with priority prio.
toStringAsList(OperatorManager) - Method in class alice.tuprolog.Struct
 
toStringFlattened() - Method in class alice.tuprolog.Var
get the flat string representation of a variable.
toTerm(String) - Method in class alice.tuprolog.Prolog
gets a term from a string
toTerm(String) - Method in class alice.tuprolog.PrologVM
 
toVarArray() - Method in class alice.tuprolog.Substitution
 
to_atom_2(Struct) - Method in class alice.tuprolog.CoreLibrary
 
tokenList - Variable in class alice.tuprolog.Tokenizer
where to store unread tokens
tokenizer - Variable in class alice.tuprolog.Parser
tokenizer used by the parser
transBegin() - Method in class alice.tuprolog.TheoryManager
starts a transaction on the dbase
transEnd(boolean) - Method in class alice.tuprolog.TheoryManager
ends a transaction.
transOp(ClauseInfo, boolean, boolean) - Method in class alice.tuprolog.TheoryManager
makes a transaction operation on the dbase.
transRestore(LinkedList) - Method in class alice.tuprolog.TheoryManager
rollbacks dbase to a state spcified by the retracted/asserted clauses list
transStatus() - Method in class alice.tuprolog.TheoryManager
returns current liste of asserted/retracted clauses
transientClauseList - Variable in class alice.tuprolog.TheoryManager
asserted or retracted clause list
type - Variable in class alice.tuprolog.Operator
type(xf,yf,fx,fy,xfx,xfy,yfy,yfx
type - Variable in class alice.tuprolog.Parser
parsing state indicator: (OK,EOF,ERROR)
type - Variable in class alice.tuprolog.Token
 
type - Variable in class alice.tuprolog.Tokenizer
current token type

U

unbind() - Method in class alice.tuprolog.Struct
unlinks compound from builtin
unify(Term, Term) - Method in class alice.tuprolog.Library
unification of two terms
unify(Term, int) - Method in class alice.tuprolog.NullTerm
only 2 NullTerm term unify
unify(Term, int) - Method in class alice.tuprolog.Struct
 
unify(Term, int) - Method in class alice.tuprolog.Term
tries to unify a term with the provided term argument.
unify(Term, int) - Method in class alice.tuprolog.Var
var unification.
unlink() - Method in class alice.tuprolog.Var
unlinks linked var.
unloadLibrary(String) - Method in class alice.tuprolog.Prolog
unloads previously loaded builtin library
unloadLibrary(String) - Method in class alice.tuprolog.PrologVM
unloads previously loaded library
unreadChar(int) - Method in class alice.tuprolog.Tokenizer
 
unreadToken(Token) - Method in class alice.tuprolog.Tokenizer
puts back token to be read again
updateTransientClauseList - Variable in class alice.tuprolog.TheoryManager
register dbase changed in transientClauseList?

V

VAR - Static variable in class alice.tuprolog.Term
 
VARIABLE - Static variable in class alice.tuprolog.Tokenizer
 
VERSION - Static variable in class alice.tuprolog.Prolog
tuProlog version
Var - class alice.tuprolog.Var.
prolog variable implementation.
Var(String) - Constructor for class alice.tuprolog.Var
creates a variable identified by name n
Var() - Constructor for class alice.tuprolog.Var
creates an ANY variable ("_")
Var(String, int) - Constructor for class alice.tuprolog.Var
 
value - Variable in class alice.tuprolog.Term
 
varList - Variable in class alice.tuprolog.Parser
list of distinct variables found parsing.
var_1(Struct) - Method in class alice.tuprolog.CoreLibrary
 
vars - Variable in class alice.tuprolog.Substitution
 

W

writeObject(ObjectOutputStream) - Method in class alice.tuprolog.Struct
serialization: in order to avoid the serialization of library and method fields nullify them
A B C D E F G H I K L M N O P R S T U V W
Overview  Package  Class  Use  Deprecated   Index 
Home >> All >> alice >> [ tuprolog overview ]  PREV  NEXT