Advertisement

A complete declarative debugger of missing answers

  • Salvatore Ruggieri
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1381)

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

Logic programming Declarative Debugging Error Diagnosis Missing Answers Acceptable Logic Programs 

References

  1. 1.
    K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 493–574. Elsevier, 1990.Google Scholar
  2. 2.
    K.R. Apt and D. Pedreschi. Reasoning about termination of pure prolog programs. Information and computation, 106(l):109–157, 1993.CrossRefMathSciNetMATHGoogle Scholar
  3. 3.
    K.L. Clark. Predicate logic as a computational formalism. Technical Report DOC 79/59, Imperial College, Dept. of Computing, 1979.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.CrossRefMathSciNetMATHGoogle Scholar
  6. 6.
    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.CrossRefMathSciNetMATHGoogle Scholar
  7. 7.
    G. Ferrand. Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. Journal of Logic Programming, 4(3):177–198, 1987.MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    L. Naish. Declarative Diagnosis of Missing Answers. New Generation Computing, 10(3):255–285, 1991.CrossRefGoogle Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    E. Shapiro. Algorithmic program debugging. The MIT Press, 1983.Google Scholar
  11. 11.
    J. Shoenfield. Mathematical logic. Addison Wesdley, Reading, 1967.Google Scholar
  12. 12.
    L. Sterling and E. Shapiro. The AH of Prolog. The MIT Press, second edition, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Salvatore Ruggieri
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations