Lecture Notes in Computer Science, 2007, Volume 4670/2007, 425-427, DOI: 10.1007/978-3-540-74610-2_29

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

Rafael Caballero, Mario Rodríguez Artalejo and Rafael del Vado Vírseda

View Related Documents

Abstract

It is well known that constraint logic and functional-logic programming languages have many advantages, and there is a growing trend to develop and incorporate effective tools to this class of declarative languages. In particular, debugging tools are a practical need for diagnosing the causes of erroneous computations. Recently [1], we have presented a prototype tool for the declarative diagnosis of wrong computed answers in CFLP( D{{\mathcal{D}}} ), a new generic scheme for lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain D{{\mathcal{D}}} given as parameter [2]. The declarative diagnosis of missing answers is another well-known debugging problem in constraint logic programming [4]. This poster summarizes an approach to this problem in CFLP( D{{\mathcal{D}}} ). From a programmer’s viewpoint, a tool for diagnosing missing answers can be used to experiment wether the program rules for certain functions are sufficient or not for computing certain expected answers.

Fulltext Preview

Image of the first page of the fulltext document