Conference article

Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach

Johan Boye
Linköping University, Sweden

Wlodek Drabent
Institute of Computer Science, Polish Academy of Sciences, Poland

Jan Maluszynski
Institute of Computer Science, Polish Academy of Sciences, Poland

Download article;article=011

Published in: Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Linköping Electronic Conference Proceedings 1:11, s. 123-140

Linköping Electronic Articles in Computer and Information Science 009:11, s. 123-140

Show more +

Published: 1997-09-10


ISSN: 1650-3686 (print), 1650-3740 (online)


This paper discusses adaptation of the declarative diagnosis techniques for the use in constraint logic programming. The objective is to show how the well-known concepts are to be modified in this setting. In particular; the paper outlines basic algorithms for diagnosing incorrectness errors and insufficiency errors for constraint programs over arbitrary domains. The main focus is on defining kinds of assertions needed to facilitate the task of answering of debugger queries. The examples illustrate the use of the proposed assertions in the declarative diagnosis algorithms for finite domain constraint programs.


No keywords available


[1]. Boye and J. Maluszynski. Two Aspects of Directional Types. In Proc. of Int’l Conf. on Logic Programming ´95 MIT Press1995. See also: J. Boye and J. Maluszynski. Directional Types and the Annotation Method. J. Logic Programming, 1996. To appear.

[2] J. Boye. Directional Types in Logic Programming, Ph.D. thesis no. 437, Linköping studies in science and technology, 1996.

[3] F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. DataFlow Analysis of Prolog Programs with Extra-Logical Features. Technical Report CLIP2/95.0, Computer Science Dept., Technical U. Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, March 1995.

[4] F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Data Analysis of Standard Prolog Programs. In European Symposium on Programming, Sweden, April 1996 .

[5] F. Bueno, M. Garcia de la Banda, and M. Hermenegildo. The PLAI Abstract Interpretation System. Technical Report CLIP2/94.0, Computer Science Dept., Technical U. Madrid (UPM) , Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, February 1994.

[6] M. Comini, G. Levi and G. Vitiello. Declarative Diagnosis Revisited. In J. Lloyd, editor, International Logic Programming Symposium. MIT Press, 1995.

[7] P. Deransart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, vol.118, 1993.

[8] P. Deransart and J. Ma!luszy"nski. A grammatical view on logic programming. The MIT Press,1993.

[9] W. Drabent. A FloydHoare Method for Prolog. Post-conference workshop "Verfication and Analysis of Logic Programs" at JICSLP ’96. (Joint International Conference and Symposium on Logic Programming, Bonn).

[10] W. Drabent and J. Maluszynski. Inductive assertion method for logic programs. Theoretical Computer Science, 59:133-155, June 1988. Special issue with selected papers from TAPSOFT’87, Pisa.

[11] W. Drabent, S. Nadjm-Tehrani and J. Maluszynski. Algorithmic Debugging with Assertions. In: H. Abramson and M.H. Rogers (eds.) Metaprogramming in Logic Programming, 501-522. The MIT Press, 1989.

[12] W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. The Use of Assertions in Algorithmic Debugging. In Proc. of Fifth Generation Computer Systems, pages 573-581, 1988.

[13] ECLiPSe 3.5 User Manual. ECRC, Munich 1995.

[14] G. Ferrand. Error Diagnosis in Logic Programming. JLP vol. 4, 177-198, 1987.

[15] J. Jaffar and M. Maher. Constraint Logic Programming: a Survey. JLP vol. 19 and 20, 503-581, 1994.

[16]F. Le Berre and A. Tessier. Declarative incorrectness diagnosis in constraint logic programming. In P. Lucio, M. Martelli, and M. Navarro, editors, Joint Conference on Declarative Programming APPIA,GULP, PRODE’96, pages 379-291, 1996.

[17] J.W. Lloyd. Declarative Error Diagnosis. New Generation Computing 5, 133-154, 1987.

[18] S. Nadjm-Tehrani. Debugging Prolog Programs Declaratively. In Proc. of Second Workshop on Meta,programming in Logic META 90, pages 137-155. Dept. of Computer Science K. U. Leuven, 1990.

[19] E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1982.

[20] Alexandre Tessier. Declarative debugging in constraint logic programming. In Joxan Jaffar, editor, Asian Computing Science Conference, volume 1179 of Lecture Notes in Computer Science, pages 64-73. Springer-Verlag, 1996.

[21] E. Vetillard. Utilisation de Declarations en Programmation Logique avec Con, traintes. Ph.D. Thesis. Univ. Aix-Marseilles II, 1994

Citations in Crossref