Package ubc.cs.JLog.Terms.Goals

Class Summary
jBinaryBuiltinPredicateGoal A very basic goal for binary builtin predicates.
jClauseGoal  
jFailGoal  
jNaryBuiltinPredicateGoal A very basic goal for N-ary builtin predicates.
jOrGoal  
jOrGoalWVars  
jPredicateGoal  
jQuadaryBuiltinPredicateGoal A very basic goal for quadary builtin predicates.
jTrinaryBuiltinPredicateGoal A very basic goal for trinary builtin predicates.
jTrueGoal  
jUnaryBuiltinPredicateGoal A very basic goal for unary builtin predicates.