A Complete Declarative Debugger of Missing Answers

摘要

We propose two declarative debuggers of missing answers with respect to C-and S-semantics. The debuggers are proved correct for every logic program. Moreover, they are ocmplete and terminating with respect to a large class of programs, namely acceptable logic prgrams. The debuggers enhance existing proposals, which suffer from a problem due to the implementation of programs, namely acceptable logic programs. The debuggersenhance existing proposals, which suffer from a problem due to the implementation of negation as failure. The proposed solution exploits decision procedures for C- and S-semantics introduced in [9].