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

Packages that use jBinaryBuiltinPredicateGoal

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

Uses of jBinaryBuiltinPredicateGoal in ubc.cs.JLog.Builtins

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

boolean	jCreateArray.prove(jBinaryBuiltinPredicateGoal bg)
boolean	jNotUnify.prove(jBinaryBuiltinPredicateGoal ig)

Uses of jBinaryBuiltinPredicateGoal in ubc.cs.JLog.Terms

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

boolean	jBinaryBuiltinPredicate.prove(jBinaryBuiltinPredicateGoal bg)
boolean	jUnify.prove(jBinaryBuiltinPredicateGoal ig)