scholar.google.com › citations
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), ...
CFLP is a distributed implementation of a cooperative FLP scheme obtained from the integration of higher-order lazy narrowing for FLP with CCS. The ...
This paper presents a proposal for the cooperation of solvers in constraint functional logic programming, a quite expressive programming paradigm.
[PDF] Cooperative Constraint Functional Logic Programming - ResearchGate
www.researchgate.net › links
CFLP [4] is an experimental system which integrates higher-order functional logic programming with coopera- tive constraint solving. Its computational model ...
AbstractThis paper presents a proposal for the cooperation of solvers in constraint functional logic programming, a quite expressive programming paradigm ...
SUMMARY. In this paper we describe collaborative con- straint functional logic programming and the system called Open. CFLP that supports this programming ...
Abstract. This paper provides unreported implementation details of a programming system which implements a seamless integration of con- straint, functional ...
This paper presents a proposal for the cooperation of solvers in constraint functional logic programming, a quite expressive programming paradigm which ...
Higher-order lazy narrowing is a general method for solving E-unification problems in theories presented as sets of rewrite rules.
The paper contains also discussions on the role played by the type system and on how to incorporate constraint solver cooperation in this setting. Keywords: ...