Learn More
The language Prolog has been extended by allowing the in­ clusion of assertions about equality. When a unification of two terms that do not unify syntactically is attempted, an equality theorem may(More)
  • 1