An Open Environment for Cooperative Equational Solving  

作　　者：Tetsuo Ida, Mircea Marin, Norio Kobayashi Institute of Information Sciences and Electronics, University of Tsukuba, Tsukuba 305 8573, Japan 

出　　处：《Wuhan University Journal of Natural Sciences》2001年第Z1期169-174,共6页武汉大学学报（自然科学英文版）

基　　金：Supported in part by the Ministry of Education;Culture;Sports;Science and Technology;Grant-in-Aid for Scien-tific Research (B)

摘　　要：We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defining one's own abstractions 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. The system is a distributed implementation of a cooperative constraint functional logic programming scheme that combines higher order lazy narrowing with cooperative constraint solving. The model takes advantage of the existence of several constraint solving resources located in a distributed environment (e.g., a network of computers), which communicate asynchronously via message passing. To increase the openness of the system, we are redesigning CFLP based on CORBA. We discuss some design and implementation issues of the system.We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defining one's own abstractions 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. The system is a distributed implementation of a cooperative constraint functional logic programming scheme that combines higher order lazy narrowing with cooperative constraint solving. The model takes advantage of the existence of several constraint solving resources located in a distributed environment (e.g., a network of computers), which communicate asynchronously via message passing. To increase the openness of the system, we are redesigning CFLP based on CORBA. We discuss some design and implementation issues of the system.

关 键 词：functional logic programing cooperative contraint solving distributed computing 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]