A Generic Scheme for Qualified Constraint Functional Logic Progamming
Abstract
Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-Order Functional Logic Programming with Constraints and Qualification. We present a Rewriting Logic which characterizes the intended semantics of programs, and a prototype implementation based on a semantically correct program transformation. Potential applications of the resulting language include flexible information retrieval. As a concrete illustration, we show how to write program rules to compute qualified answers for user queries concerning the books available in a given library.
Cite
@article{arxiv.1101.2146,
title = {A Generic Scheme for Qualified Constraint Functional Logic Progamming},
author = {Rafael Caballero and Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz},
journal= {arXiv preprint arXiv:1101.2146},
year = {2011}
}
Comments
36 pages, 5 figures, extended version with full proofs of Qualified Computations in Functional Logic Programming, in P.M. Hill and D.S. Warren (Eds.), ICLP 2009, LNCS 5649, pp. 449-463, 2009