On the completeness of SLDENF-resolution

• 1 October 1996
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 17  (2)
• https://doi.org/10.1007/bf00244496

Abstract

Keywords

• LOGIC PROGRAMMING
• NEGATION AS FAILURE
• UNIFICATION THEORY