Constraint Functional Logic Programming Revisited

详细信息    查看全文

• 作者：F. Javier Ló ; pez-Fraguas ; Mario Rodrí ; guez-Artalejo ; Rafael del Vado Ví ; rseda
• 关键词：Functional Programming ; Logic Programming ; Constraints
• 刊名：Electronic Notes in Theoretical Computer Science
• 出版年：2005
• 出版时间：20 January 2005
• 年：2005
• 卷：117
• 期：Complete
• 页码：5-50
• 全文大小：751 K

文摘

In this paper we propose a new generic scheme CFLP(D), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given constraint domain D. As in the case of the well known CLP(D) scheme for Constraint Logic Programming, D is assumed to provide domain specific data values and constraints. CFLP(D) programs are presented as sets of constrained rewrite rules that define the behaviour of possibly higher order and/or non-deterministic lazy functions over D. As the main novelty w.r.t. previous related work, we present a Constraint Rewriting Logic CRWL(D) which provides a declarative semantics for CFLP(D) programs. This logic relies on a new formalization of constraint domains and program interpretations, which allows a flexible combination of domain specific data values and user defined data constructors, as well as a functional view of constraints.