|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
is,
if used a predicate they fail.
is,
if used a predicate they fail.
jPrologServiceListeners.
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.
jTerm representation of this operator
representation.
iPredicate representation of this
predicate representation.
proved.
item.
jVariableVector.
jVariableVector
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.jRules
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
jPrologServiceBroadcasters
to jPrologServiceListeners.jPrologService Prolog proof engine.jKnowledgeBase.
jPrologServiceThread based classes which support user queries.jRules
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 jTerms to this
jCompoundTerm.
jCons separated jTerms to this
jPredicateTerms instance.
jOr separated jTerms to the provided
jOrPredicate.
jCons and jOr separated jTerms
to this jPredicateTerms.
toString provided by the Object class.
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.pOperatorEntrys.pPredicateRegistry.pPredicateEntrys.jGoal.
jTerms and their associated pPackets.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.
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 jTerms to
represent this jCompoundTerm.
jCons and/or jOr separated jTerms
to represent this jPredicateTerms.
jCons separated jTerms to
represent this jCompoundTerm.
jCons and/or jOr separated jTerms
to represent this jPredicateTerms.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||