Uses of Class
ubc.cs.JLog.Foundation.jKnowledgeBase

Packages that use jKnowledgeBase

ubc.cs.JLog.Builtins
ubc.cs.JLog.Foundation
ubc.cs.JLog.Parser
ubc.cs.JLog.Terms

Uses of jKnowledgeBase in ubc.cs.JLog.Builtins

Methods in ubc.cs.JLog.Builtins with parameters of type jKnowledgeBase

protected boolean	jAssert.assertPredicate(jPredicate h, jPredicateTerms b, jKnowledgeBase kb, boolean addlast)
boolean	jAssert.prove(jAssertGoal ag, jKnowledgeBase kb)
boolean	jRetract.prove(jRetractGoal rg, jKnowledgeBase kb)
protected boolean	jRetract.retractPredicate(jPredicate h, jPredicateTerms b, jKnowledgeBase kb, jUnifiedVector unified)

Uses of jKnowledgeBase in ubc.cs.JLog.Foundation

Fields in ubc.cs.JLog.Foundation declared as jKnowledgeBase

protected jKnowledgeBase	jProver.database
protected jKnowledgeBase	jPrologServices.database

Methods in ubc.cs.JLog.Foundation that return jKnowledgeBase

jKnowledgeBase

jPrologServices.getKnowledgeBase()

Methods in ubc.cs.JLog.Foundation with parameters of type jKnowledgeBase

void	jRuleDefinitions.consult(jKnowledgeBase kb)
void	jRule.consult(jKnowledgeBase kb)

Constructors in ubc.cs.JLog.Foundation with parameters of type jKnowledgeBase

jDebugProver(jKnowledgeBase kb, jPrologServiceBroadcaster debugm)

jPrologServices(jKnowledgeBase kb, pPredicateRegistry pr, pOperatorRegistry or)

jProver(jKnowledgeBase kb)
Construct a prover instance with a given jKnowledgeBase.

Uses of jKnowledgeBase in ubc.cs.JLog.Parser

Fields in ubc.cs.JLog.Parser declared as jKnowledgeBase

protected jKnowledgeBase	pUpdateDatabaseRules.database
protected jKnowledgeBase	pParseStream.database

Constructors in ubc.cs.JLog.Parser with parameters of type jKnowledgeBase

pParseStream(Reader r, jKnowledgeBase kb, pPredicateRegistry pr, pOperatorRegistry or)

pParseStream(String s, jKnowledgeBase kb, pPredicateRegistry pr, pOperatorRegistry or)

pUpdateDatabaseRules(jKnowledgeBase kb)

Uses of jKnowledgeBase in ubc.cs.JLog.Terms

Methods in ubc.cs.JLog.Terms with parameters of type jKnowledgeBase

void	jBinaryBuiltinPredicate.consult(jKnowledgeBase kb)
void	jAtom.consult(jKnowledgeBase kb)
void	jCommand.consult(jKnowledgeBase kb)
void	jCompoundTerm.consult(jKnowledgeBase kb)
void	jListPair.consult(jKnowledgeBase kb)
void	jOrPredicate.consult(jKnowledgeBase kb)
void	jVariable.consult(jKnowledgeBase kb)
void	jTerm.consult(jKnowledgeBase kb)
void	jPredicate.consult(jKnowledgeBase kb)
void	iConsultable.consult(jKnowledgeBase kb) Consult the given jKnowledgeBase and cache any invariant values (those which would not change until the next time the jKnowledgeBase changes).
void	jNaryBuiltinPredicate.consult(jKnowledgeBase kb)
void	iTerm.consult(jKnowledgeBase kb)
void	jQuadaryBuiltinPredicate.consult(jKnowledgeBase kb)
void	jTrinaryBuiltinPredicate.consult(jKnowledgeBase kb)
void	jConjunctTerm.consult(jKnowledgeBase kb)
void	jUnaryBuiltinPredicate.consult(jKnowledgeBase kb)
protected jDynamicRuleDefinitions	jClause.getDynamicRules(jPredicate h, jKnowledgeBase kb)
boolean	jClause.prove(jClauseGoal cg, jKnowledgeBase kb)