ubc.cs.JLog.Terms.Goals
Classes
jBinaryBuiltinPredicateGoal
jClauseGoal
jFailGoal
jNaryBuiltinPredicateGoal
jOrGoal
jOrGoalWVars
jPredicateGoal
jQuadaryBuiltinPredicateGoal
jTrinaryBuiltinPredicateGoal
jTrueGoal
jUnaryBuiltinPredicateGoal