Cooperative Constraint Functional Logic Programming

9 years 6 months ago
Cooperative Constraint Functional Logic Programming
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed constraint solving. FLP provides support for defining one's own abstractions (user-defined functions and predicates) over a constraint domain in an easy and comfortable way, whereas CCS is employed to solve systems of mixed constraints by iterating specialized constraint solving methods in accordance with a well defined strategy. CFLP is a distributed implementation of a cooperative constraint functional logic programming scheme obtained from the integration of higher-order lazy narrowing for functional logic programming with cooperative constraint solving. The implementation takes advantage of the existence of several constraint solving resources located in a distributed environment, which communicate asynchronously via message passing.
Mircea Marin, Tetsuo Ida
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 2000
Where WFLP
Authors Mircea Marin, Tetsuo Ida
Comments (0)