Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

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(\({{\mathcal{D}}}\)), a new generic scheme for lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain \({{\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(\({{\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.