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 a,ld 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.