Uses of Class
ubc.cs.JLog.Terms.Goals.jClauseGoal

Packages that use jClauseGoal

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

Uses of jClauseGoal in ubc.cs.JLog.Foundation

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

jTerm

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

Uses of jClauseGoal in ubc.cs.JLog.Terms

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

boolean

jClause.prove(jClauseGoal cg, jKnowledgeBase kb)