SLDNF-resolution with equality

• 1 April 1992
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 8  (2) , 297-306
• https://doi.org/10.1007/bf00244285

Abstract

Keywords

• SLDNF-RESOLUTION
• EQUALITY
• E-UNIFICATION
• COMPLETION
• NEGATION AS FAILURE
• LOGIC PROGRAMMING