Abstract
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 complete and terminating with respect to a large class of programs, namely acceptable logic programs. The debuggers enhance 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].
Keywords
Download to read the full chapter text
Chapter PDF
References
K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 493–574. Elsevier, 1990.
K.R. Apt and D. Pedreschi. Reasoning about termination of pure prolog programs. Information and computation, 106(l):109–157, 1993.
K.L. Clark. Predicate logic as a computational formalism. Technical Report DOC 79/59, Imperial College, Dept. of Computing, 1979.
M. Comini, G. Levi, and G. Vitiello. Declarative Diagnosis Revisited. In J. W. Lloyd, editor, Proceedings of the 1995 International Logic Programming Symposium, pages 275–287. The MIT Press, 1995.
M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation, 103(l):86–113, 1993.
M. Falaschi, G. Levi, C. Palamidessi, and M. Martelli. Declarative Modeling of the Operational Behaviour of Logic Languages. Theoretical Computer Science, 69(3):289–318, December 1989.
G. Ferrand. Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. Journal of Logic Programming, 4(3):177–198, 1987.
L. Naish. Declarative Diagnosis of Missing Answers. New Generation Computing, 10(3):255–285, 1991.
S. Ruggieri. Decidability of Logic Program Semantics and Applications to Testing. In Proc. of PLILP'96, volume 1140 of Lecture Notes in Computer Science, pages 347–362. Springer-Verlag, Berlin, 1996.
E. Shapiro. Algorithmic program debugging. The MIT Press, 1983.
J. Shoenfield. Mathematical logic. Addison Wesdley, Reading, 1967.
L. Sterling and E. Shapiro. The AH of Prolog. The MIT Press, second edition, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ruggieri, S. (1998). A complete declarative debugger of missing answers. In: Hankin, C. (eds) Programming Languages and Systems. ESOP 1998. Lecture Notes in Computer Science, vol 1381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053574
Download citation
DOI: https://doi.org/10.1007/BFb0053574
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64302-9
Online ISBN: 978-3-540-69722-0
eBook Packages: Springer Book Archive