Error diagnosis in logic programming, an adaptation of E.Y. Shapiro's method
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
New Generation Computing
Foundations of declarative debugging in arbitrary logic programming
International Journal of Man-Machine Studies
Algorithmic debugging with assertions
Meta-programming in logic programming
Generalized algorithmic debugging and testing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Rational Debugging in Logic Programming
Proceedings of the Third International Conference on Logic Programming
A Generic Declarative Diagnoser for Normal Logic Programs
LPAR '94 Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning
| Hi-index | 0.00 |
We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We first present a declarative diagnoser for normal logic programs. Given a bug symptom, the diagnoser first constructs a tree that models the execution of the bug symptom and then searches the tree for the bug that causes the bug symptom. We then incorporate into the diagnoser three tree transformations that prune the tree before it is searched. These transformations make use of two kinds of assertion about the correctness of the program and maintain the soundness and completeness of the diagnoser. These transformations reduce the size of the tree and thus reduce the quantity of queries imposed on the oracle.