Rational debugging in logic programming

• 1 January 1986
• book chapter
• Published by Springer Nature
• p. 203-210
• https://doi.org/10.1007/3-540-16492-8_76

Abstract

Keywords

• LOGIC PROGRAM
• LOGIC PROGRAMMING
• OPERATIONAL SEMANTIC
• WRONG MODE
• PROOF TREE