A complete declarative debugger of missing answers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1381, Issue , 1998, Pages 236-251

  Ruggieri, Salvatore ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Acceptable Logic Programs; Declarative Debugging; Error Diagno sis; Logic programming; Missing Answers

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

DEBUGGERS; DECISION PROCEDURE; DECLARATIVE DEBUGGING; LOGIC PROGRAMS; MISSING ANSWERS; NEGATION AS FAILURES;

PROGRAM DEBUGGING;

EID: 0343579055     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053574     Document Type: Conference Paper

References (12)

1. K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 493-574. Elsevier, 1990.
2. K.R. Apt and D. Pedreschi. Reasoning about termination of pure prolog programs. Information and computation, 106(1):109-157, 1993.
3. K.L. Clark. Predicate logic as a computational formalism. Technical Report DOC 79/59, Imperial College, Dept, of Computing, 1979.
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.
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(1):86-113, 1993.
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.
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.
8. L. Naish. Declarative Diagnosis of Missing Answers. New Generation Computing, 10(3):255-285, 1991.
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.
10. E. Shapiro. Algorithmic program debugging. The MIT Press, 1983.
11. J. Shoenfield. Mathematical logic. Addison Wesdley, Reading, 1967.
12. L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, second edition, 1994.