Serialized Form


Package alice.tuprolog

Class alice.tuprolog.BuiltIn extends Library implements Serializable

Serialized Fields

engineManager

EngineManager engineManager

theoryManager

TheoryManager theoryManager

libraryManager

LibraryManager libraryManager

flagManager

FlagManager flagManager

primitiveManager

PrimitiveManager primitiveManager

operatorManager

OperatorManager operatorManager

Class alice.tuprolog.Double extends Number implements Serializable

Serialized Fields

value

double value

Class alice.tuprolog.EngineManager extends java.lang.Object implements Serializable

Serialized Fields

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

Class alice.tuprolog.Float extends Number implements Serializable

Serialized Fields

value

float value

Class alice.tuprolog.HaltException extends PrologException implements Serializable

Serialized Fields

value

int value

Class alice.tuprolog.Int extends Number implements Serializable

Serialized Fields

value

int value

Class alice.tuprolog.InvalidLibraryException extends PrologException implements Serializable

Serialized Fields

libraryName

java.lang.String libraryName

line

int line

pos

int pos

Class alice.tuprolog.InvalidTermException extends PrologException implements Serializable

Class alice.tuprolog.InvalidTheoryException extends PrologException implements Serializable

Serialized Fields

line

int line

pos

int pos

Class alice.tuprolog.InvalidVarNameException extends InvalidTermException implements Serializable

Class alice.tuprolog.Library extends java.lang.Object implements Serializable

Serialized Fields

engine

Prolog engine
prolog core which loaded the library


opMappingCached

java.lang.String[][] opMappingCached
operator mapping

Class alice.tuprolog.Long extends Number implements Serializable

Serialized Fields

value

long value

Class alice.tuprolog.MalformedGoalException extends PrologException implements Serializable

Class alice.tuprolog.NoMoreSolutionException extends PrologException implements Serializable

Class alice.tuprolog.NoSolutionException extends PrologException implements Serializable

Class alice.tuprolog.Number extends Term implements Serializable

Class alice.tuprolog.Operator extends java.lang.Object implements Serializable

Serialized Fields

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

Class alice.tuprolog.Parser extends java.lang.Object implements Serializable

Serialized Fields

tokenizer

Tokenizer tokenizer

opManager

OperatorManager opManager

Class alice.tuprolog.Prolog extends java.lang.Object implements Serializable

Serialized Fields

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

Class alice.tuprolog.PrologException extends java.lang.Exception implements Serializable

Class alice.tuprolog.SolveInfo extends java.lang.Object implements Serializable

Serialized Fields

endState

int endState

isSuccess

boolean isSuccess

query

Term query

goal

Struct goal

bindings

java.util.List bindings

Class alice.tuprolog.Struct extends Term implements Serializable

Serialized Fields

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

Class alice.tuprolog.Term extends java.lang.Object implements Serializable

Class alice.tuprolog.Theory extends java.lang.Object implements Serializable

Serialized Fields

theory

java.lang.String theory

clauseList

Struct clauseList

Class alice.tuprolog.TheoryManager extends java.lang.Object implements Serializable

Serialized Fields

dynamicDBase

ClauseDatabase dynamicDBase

staticDBase

ClauseDatabase staticDBase

engine

Prolog engine

primitiveManager

PrimitiveManager primitiveManager

startGoalStack

java.util.Stack startGoalStack

lastConsultedTheory

Theory lastConsultedTheory

Class alice.tuprolog.UnknownVarException extends PrologException implements Serializable

Class alice.tuprolog.Var extends Term implements Serializable

Serialized Fields

name

java.lang.String name

completeName

java.lang.String completeName

link

Term link

timestamp

long timestamp

id

int id


Package alice.tuprolog.event

Class alice.tuprolog.event.LibraryEvent extends PrologEvent implements Serializable

Serialized Fields

libName

java.lang.String libName

Class alice.tuprolog.event.OutputEvent extends java.util.EventObject implements Serializable

Serialized Fields

msg

java.lang.String msg
text produced

Class alice.tuprolog.event.PrologEvent extends java.util.EventObject implements Serializable

Serialized Fields

when

long when

Class alice.tuprolog.event.QueryEvent extends PrologEvent implements Serializable

Serialized Fields

info

SolveInfo info

Class alice.tuprolog.event.SpyEvent extends java.util.EventObject implements Serializable

Serialized Fields

msg

java.lang.String msg
event description


env

Engine env

Class alice.tuprolog.event.TheoryEvent extends PrologEvent implements Serializable

Serialized Fields

oldTh

Theory oldTh

newTh

Theory newTh

Class alice.tuprolog.event.WarningEvent extends java.util.EventObject implements Serializable

Serialized Fields

msg

java.lang.String msg
event description