Paper Info
Title
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.
Year
Venue
Keywords
2011
Clinical Orthopaedics and Related Research
rewriting logic,information retrieval,programming language,first order,functional logic programming
Field
DocType
Volume
Functional logic programming,Computational logic,Programming language,Horn clause,Computer science,Inductive programming,Theoretical computer science,Concurrent constraint logic programming,Prolog,Logic programming,Well-founded semantics
Journal
abs/1101.2
Citations 
PageRank 
References 
0
0.34
3
Authors
3
Name
Order
Citations
PageRank
Rafael Caballero1274.02
Mario Rodríguez-Artalejo271659.70
Carlos A. Romero-Díaz3473.94