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

Packages that use jPredicateGoal

ubc.cs.JLog.Foundation

Uses of jPredicateGoal in ubc.cs.JLog.Foundation

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

jPredicateGoal	jDynamicRuleDefinitions.createGoal(jCompoundTerm t)
jPredicateGoal	jRuleDefinitions.createGoal(jCompoundTerm t)

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

boolean	jRuleDefinitions.prove(jPredicateGoal pg, iGoalStack goals)
boolean	jRuleDefinitions.retry(jPredicateGoal pg)
boolean	jRule.unify(jPredicateGoal pg, iGoalStack goals)