Declarative diagnosis of missing answers in constraint functional-logic programming

9Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We present a declarative method for diagnosing missing computed answers in , a generic scheme for lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain given as parameter. As far as we know, declarative diagnosis of missing answers in such an expressive framework has not been tackled before. Our approach combines and extends previous work done separately for constraint logic programming and lazy functional programming languages. Diagnosis can be started whenever a user finds that the set of computed answers for a given goal with finite search space misses some expected solution w.r.t. an intended interpretation of the program, that provides a declarative description of its expected behavior. Diagnosis proceeds by exploring a proof tree, that provides a declarative view of the answer-collection process performed by the computation, and it ends up with the detection of some function definition in the program that is incomplete w.r.t. the intended interpretation. We can prove the logical correctness of the diagnosis method under the assumption that the recollection of computed answers performed by the goal solving system can be represented as a proof tree. We argue the plausibility of this assumption, and we describe the prototype of a tool which implements the diagnosis method. © 2008 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Caballero, R., Rodríguez Artalejo, M., & Del Vado Vírseda, R. (2008). Declarative diagnosis of missing answers in constraint functional-logic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4989 LNCS, pp. 305–321). https://doi.org/10.1007/978-3-540-78969-7_22

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free