Extending SLD Resolution to Equational Horn Clauses using E-Unification

J. Gallier,Stan Raatz
DOI: https://doi.org/10.1016/0743-1066(89)90028-9
1989-01-03
The Journal of Logic Programming
Abstract:
What problem does this paper attempt to address?