Abstract
This paper presents an error diagnoser which finds errors in logic programs which use the extended syntax and advanced control facilities. The diagnoser isdeclarative, in the sense that the programmer need only know the intended interpretation of an incorrect program to use the diagnoser. In particular, the programmer needs no understanding whatever of the underlying computational behaviour of the PROLOG system which runs the program. It is argued that declarative error diagnosers will be indispensable components of advanced logic programming systems, which are currently under development.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Av-Ron, E., Top-Down Diagnosis of Prolog Programs, M. Sc. Thesis, Weizmann Institute of Science, 1984.
Byrd, L., “PROLOG Debugging Facilities,”Working Paper, Department of Artificial Intelligence, University of Edinburgh, 1980.
Edman, A. and Tarnlund, S., “Mechanization of an Oracle in a Debugging System,”IJCAI 83, Karlsruhe, pp. 553–555, 1983.
Eisenstadt, M., “Retrospective Zooming: A Knowledge Based Tracing and Debugging Methodology for Logic Programming,”IJCAI 85, Los Angeles, pp. 717–719.
Eisenstadt, M. and Hasemer, A., “An Improved User Interface for PROLOG,”Interact 84, pp. 109–113.
Ferrand, G., “Error Diagnosis in Logic Programming: An Adaptation of E. Y. Shapiro’s Method,” Rapport de Recherche 375, INRIA, 1985.
Lloyd, J. W.,Foundations of Logic Programming, Symbolic Computation Series, Springer-Verlag, 1984.
Lloyd, J. W. and Topor, R. W., “Making PROLOG More Expressive,”J. Logic Programming, Vol. 1, No. 3, pp. 225–240, 1984.
Naish, L., “Automating Control for Logic Programs,”J. Logic Programming, Vol. 2, No. 3, pp. 167–183, 1985.
Naish, L., “Negation and Control in PROLOG,”Lecture Notes in Computer Science 238, Springer-Verlag, 1986.
Naish, L., “Negation and Quantifiers in NU-PROLOG,”Proc. of Third International Conference on Logic Programming, Lecture Notes in Computer Science 225, Springer-Verlag, pp. 624–634, 1986.
Pereira, L. M., “Rational Debugging in Logic Programming,”Proc. of Third International Conference on Logic Programming, Lecture Notes in Computer Science 225, Springer-Verlag, pp. 203–210, 1986.
Plaisted, D. A., “An Efficient Bug Location Algorithm,”Second International Logic Programming Conference, Uppsala, pp. 151–157, 1984.
Shapiro, E. Y.,Algorithmic Program Debugging, MIT Press, Cambridge, Mass., 1983.
Tamaki, H. and Sato, T., “Unfold/Fold Transformation of Logic Programs,”Proc. of Second International Logic Programming Conference, Uppsala, pp. 127–138, 1984.
Thom, J. A. and Zobel, J. A. (eds), “NU-Prolog 1.0 Reference Manual, Machine Intelligence Project, Technical Report 86/10, Department of Computer Science, University of Melborune, 1986.
Warren, D. H. D., “An Abstract PROLOG Instruction Set,”Technical Note 309, SRI International, 1983.
Author information
Authors and Affiliations
About this article
Cite this article
Lloyd, J.W. Declarative error diagnosis. New Gener Comput 5, 133–154 (1987). https://doi.org/10.1007/BF03037396
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037396