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,
are a practical need for diagnosing the causes of erroneous computations. Recently , we have presented a prototype tool for the declarative diagnosis of wrong computed answers in CFLP(
), a new generic scheme for lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain
given as parameter . The declarative diagnosis of
is another well-known debugging problem in constraint logic programming . This poster summarizes an approach to this problem in CFLP(
). 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.