Back to Search
Start Over
A Generic Scheme for Qualified Constraint Functional Logic Progamming
- Publication Year :
- 2011
-
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.<br />Comment: 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
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.1101.2146
- Document Type :
- Working Paper