A Concurrent Operational Semantics for Constraint Functional Logic Programming

Authors Rafael del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo

Thumbnail PDF


  • Filesize: 0.59 MB
  • 10 pages

Document Identifiers

Author Details

Rafael del Vado Vírseda
Fernando Pérez Morente
Marcos Miguel García Toledo

Cite AsGet BibTex

Rafael del Vado Vírseda, Fernando Pérez Morente, and Marcos Miguel García Toledo. A Concurrent Operational Semantics for Constraint Functional Logic Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 154-163, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


In this paper we describe a sound and complete concurrent operational semantics for constraint functional logic programming languages which allows to model declarative applications in which the interaction between demand-driven narrowing and constraint solving helps to prune the search space, leading to shorter goal derivations. We encode concurrency into the generic CFLP(D) scheme, a uniform foundation for the operational semantics of constraint functional logic programming systems parameterized by a constraint solver over the given domain D. In this concurrent version of the CFLP(D) scheme, goal solving processes can be executed concurrently and cooperate together to perform their specific tasks via demand-driven narrowing and declarative residuation guided by constrained definitional trees, constraint solving, and communication by synchronization on logical variables.
  • Constraint logic programming
  • concurrent logic programming
  • functional logic programming.


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads