Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy.

Edward W. Elcock, P. Hoddinott

Browse the full AAAI paper archive.