Serialized Form
engineManager
EngineManager engineManager
theoryManager
TheoryManager theoryManager
libraryManager
LibraryManager libraryManager
flagManager
FlagManager flagManager
primitiveManager
PrimitiveManager primitiveManager
operatorManager
OperatorManager operatorManager
value
double value
mediator
Prolog mediator
theoryManager
TheoryManager theoryManager
primitiveManager
PrimitiveManager primitiveManager
libraryManager
LibraryManager libraryManager
env
Engine env
last_env
Engine last_env
stackEnv
java.util.LinkedList stackEnv
sinfo
SolveInfo sinfo
INIT
State INIT
- States
GOAL_EVALUATION
State GOAL_EVALUATION
RULE_SELECTION
State RULE_SELECTION
GOAL_SELECTION
State GOAL_SELECTION
BACKTRACK
State BACKTRACK
END_FALSE
State END_FALSE
END_TRUE
State END_TRUE
END_TRUE_CP
State END_TRUE_CP
END_HALT
State END_HALT
value
float value
value
int value
value
int value
libraryName
java.lang.String libraryName
line
int line
pos
int pos
line
int line
pos
int pos
engine
Prolog engine
- prolog core which loaded the library
opMappingCached
java.lang.String[][] opMappingCached
- operator mapping
value
long value
name
java.lang.String name
- operator name
type
java.lang.String type
- type(xf,yf,fx,fy,xfx,xfy,yfy,yfx
prio
int prio
- priority
tokenizer
Tokenizer tokenizer
opManager
OperatorManager opManager
theoryManager
TheoryManager theoryManager
primitiveManager
PrimitiveManager primitiveManager
opManager
OperatorManager opManager
flagManager
FlagManager flagManager
libraryManager
LibraryManager libraryManager
engineManager
EngineManager engineManager
spy
boolean spy
warning
boolean warning
outputListeners
java.util.ArrayList outputListeners
spyListeners
java.util.ArrayList spyListeners
warningListeners
java.util.ArrayList warningListeners
theoryListeners
java.util.ArrayList theoryListeners
libraryListeners
java.util.ArrayList libraryListeners
queryListeners
java.util.ArrayList queryListeners
endState
int endState
isSuccess
boolean isSuccess
query
Term query
goal
Struct goal
bindings
java.util.List bindings
name
java.lang.String name
- name of the structure
arg
Term[] arg
- args array
arity
int arity
- arity
predicateIndicator
java.lang.String predicateIndicator
- to speedup hash map operation
resolved
boolean resolved
- it indicates if the term is resolved
theory
java.lang.String theory
clauseList
Struct clauseList
dynamicDBase
ClauseDatabase dynamicDBase
staticDBase
ClauseDatabase staticDBase
engine
Prolog engine
primitiveManager
PrimitiveManager primitiveManager
startGoalStack
java.util.Stack startGoalStack
lastConsultedTheory
Theory lastConsultedTheory
name
java.lang.String name
completeName
java.lang.String completeName
link
Term link
timestamp
long timestamp
id
int id
Package alice.tuprolog.event |
libName
java.lang.String libName
msg
java.lang.String msg
- text produced
when
long when
info
SolveInfo info
msg
java.lang.String msg
- event description
env
Engine env
oldTh
Theory oldTh
newTh
Theory newTh
msg
java.lang.String msg
- event description