Package jdrew.oo.td

Class Summary

BackwardReasoner	Based upon the backward reasoner from the original jDREW by Bruce Spencer.
Unifier	A Unifier is an object that performs two separate functions: it tells whether two clauses literals that occur in Goals/GoalLists clauses can unify, and it builds the resulting Goals/GoalLists after the required substitution, required for the unification, have been applied.