Uses of Class
ubc.cs.JLog.Terms.jPredicate

Packages that use jPredicate

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

Uses of jPredicate in ubc.cs.JLog.Builtins

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

protected boolean	jAssert.assertPredicate(jPredicate h, jPredicateTerms b, jKnowledgeBase kb, boolean addlast)
protected boolean	jRetract.retractPredicate(jPredicate h, jPredicateTerms b, jKnowledgeBase kb, jUnifiedVector unified)

Uses of jPredicate in ubc.cs.JLog.Foundation

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

protected jPredicate

jRule.head

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

jPredicate

jRule.getHead()

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

jTerm

jDynamicRuleDefinitions.getClause(jClauseGoal cg, jPredicate h) Construct dynamic rule based on name, arity, and vector of rules.

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

jRule(jPredicate h, jPredicateTerms b)

Uses of jPredicate in ubc.cs.JLog.Terms

Fields in ubc.cs.JLog.Terms declared as jPredicate

jPredicate

jDCG.dcgPredicateUpdate.pred

Methods in ubc.cs.JLog.Terms that return jPredicate

protected jPredicate	jDCG.adjustPredicate(jPredicate src, jTerm t2, jTerm t3)
protected jPredicate	jClause.getPredicate(jTerm t)
protected jPredicate	jDCG.makeDCGHead(jTerm S0, jTerm SN)
protected jPredicate	jDCG.makeDCGPhrase(jVariable v, Vector pr)
protected jPredicate	jDCG.makeDCGTERMINAL(jTerm t, Vector pr)

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

protected jPredicate	jDCG.adjustPredicate(jPredicate src, jTerm t2, jTerm t3)
protected jDynamicRuleDefinitions	jClause.getDynamicRules(jPredicate h, jKnowledgeBase kb)

Constructors in ubc.cs.JLog.Terms with parameters of type jPredicate

jBuiltinRule(jPredicate h, jPredicateTerms b)

jDCG.dcgPredicateUpdate(jPredicate p)

jDCG.dcgTerminalPredicateUpdate(jPredicate p, jTerm t)