This paper presents a generalization of Shapiro style algorithmic debugging for generalized intuitionistic Horn clause logic. In this logic hypothetical reasoning can be done and negation is defined not by failure but by inconsistency. We extend Shapiro's notion of intended interpretation, symptoms and errors and give formal results paralleling those known for definite clauses. We also show how a corresponding diagnosis module for {\sc Risc} --- a logic programming system for generalized intuitionistic Horn clause logic --- can be defined by meta interpretation. Contrary to Shapiro's solution this module works independently of the specific computation rule that in {\sc Risc} may be specified by the user. The presentation concludes with a sample of the system in action."

AADEBUG'95 Program

AADEBUG'95 home page