|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
aAnimationObject
s.aAnimationShape
s.is
,
if used a predicate they fail.
is
,
if used a predicate they fail.
aAnimationObject
.
aAnimationShape
.
jPrologServiceListener
s.
compare
that sub-classes must override.
compare
that sub-classes must override.
jKnowledgeBase
and cache any invariant values (those
which would not change until the next time the jKnowledgeBase
changes).
jKnowledgeBase
changes.
jCompoundTerm
.
goals
.
jList
list representing the given enumeration of objects.
iMenuServiceRequester
.
jTerm
representation of this operator
representation.
iPredicate
representation of this
predicate representation.
proved
.
item
.
Graphics
environment
provided.
Graphics
environment
provided.
jVariableVector
.
jVariableVector
aAnimationObject
s belonging to the environment.
gButtonTab
s.aAnimationObject
by name.
jTerm
representation of this term.
jTerm
representation of this term.
iConsultable
is the interface for classes that may need to
access the knowledge base before any proof attempts are made.iDebugGoalStack
is the debugging goal stack interface.iGoalStack
is the goal stack interface.jKnowledgeBase
interfaces
which require a name and arity, iNameArity
in situations where a
term is not available.internal_remove
with a full restart and resoration of
any previous variable state.
jTerms
in given jCompoundTerm
to this.
jTerm
.jTerm
is of higher priority than ','.
jTerm
and return a corresponding Java object.jTerm
.jAppendArray
.
jCreateArray
.
jDebugGoalStack
is the default goal stack implementation.jRule
s
of the same name and arity.jVariable
mapped pairs during
equivalence testing.jGetArrayElement
.
jGoalStack
is the default goal stack implementation.jNaryBuiltinPredicate
constructor.
jKnowledgeBase
and registering any operator and predicate entries with
their corresponding registries for use by the parser.jKnowledgeBase
and registers all the operator and predicate entries with
their corresponding registries for use by the parser.jPredicate
constructor.
jAtom
to predicate/0
jPrologServiceBroadcaster
s
to jPrologServiceListener
s.jPrologService
Prolog proof engine.jKnowledgeBase
.
jPrologServiceThread
based classes which support user queries.jRule
s
of the same name and arity.jGetArrayElement
.
jVariable
after it is bound
during unification.jTerm
.
jTerm
.
jTerm
, which may include
conjunction and disjunction operators.
jCons
separated jTerm
s to this
jCompoundTerm
.
jCons
separated jTerm
s to this
jPredicateTerms
instance.
jOr
separated jTerm
s to the provided
jOrPredicate
.
jCons
and jOr
separated jTerm
s
to this jPredicateTerms
.
toString
provided by the Object
class.
aAnimationObject
s.
jTerm
term from a description of the
operators name, type, and priority.iPredicate
term from a description of the name,
arity, and class name for the associated predicate class.pOperatorRegistry
.pOperatorEntry
s.pPredicateRegistry
.pPredicateEntry
s.jGoal
.
jTerms
and their associated pPacket
s.item
as the top element of the stack.
pVar
variables and their associated jVariables
.jUnifiedVector
jUnifiedVector
jUnifiedVector
Should be called during the consultation phase by rules for their owned terms
both head and base.
jUnifiedVector
Should be called during the consultation phase by rules for their owned terms
both head and base.
jPrologServices
.
aAnimationObject
.
aAnimationShape
from the current view.
jGoal
.
iTermToObject
conversion objects for converting
Prolog jTerms into their corresponding Java objects.
iObjectToTerm
conversion objects for converting
Java objects into their corresponding Prolog jTerm objects.
jTerms
in given jCompoundTerm
from this.
term
unify.
jTerms
not in given jCompoundTerm
from this.
jTerm
equivalent to this object.
jCons
separated jTerm
s to
represent this jCompoundTerm
.
jCons
and/or jOr
separated jTerm
s
to represent this jPredicateTerms
.
jCons
separated jTerm
s to
represent this jCompoundTerm
.
jCons
and/or jOr
separated jTerm
s
to represent this jPredicateTerms
.
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |