Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

  • Rafael Caballero
  • Mario Rodríguez Artalejo
  • Rafael del Vado Vírseda
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4670)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Caballero, R., Rodríguez-Artalejo, M., del Vado-Vírseda, R.: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 421–422. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    López-Fraguas, F.J., Rodríguez-Artalejo, M., del Vado-Vírseda, R.: A New Generic Scheme for Functional Logic Programming with Constraints. Journal of Higher-Order and Symbolic Computation 20(1/2), 73–122 (2007)MATHCrossRefGoogle Scholar
  3. 3.
    López-Fraguas, F.J., Sánchez-Hernández, J.: TOY: A Multiparadigm Declarative System. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol. 1631, pp. 244–247. Springer, Heidelberg (1999)Google Scholar
  4. 4.
    Tessier, A., Ferrand, G.: Declarative Diagnosis in the CLP Scheme. In: Deransart, P., Małuszyński, J. (eds.) Analysis and Visualization Tools for Constraint Programming. LNCS, vol. 1870, pp. 151–174. Springer, Heidelberg (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Rafael Caballero
    • 1
  • Mario Rodríguez Artalejo
    • 1
  • Rafael del Vado Vírseda
    • 1
  1. 1.Dep. Sistemas Informáticos y Computación, Univ. Complutense de Madrid 

Personalised recommendations