DocumentCode :
2992348
Title :
Cooperative constraint functional logic programming
Author :
Marin, Mircea ; Ida, Tetsuo ; Suzuki, Taro
Author_Institution :
Inst. of Inf. Sci. & Electron., Tsukuba Univ., Ibaraki, Japan
fYear :
2000
fDate :
2000
Firstpage :
214
Lastpage :
220
Abstract :
Describes the current status of the development of CFLP (constraint functional logic programming), 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 FLP scheme obtained from the integration of higher-order lazy narrowing for FLP with CCS. The implementation takes advantage of the existence of several constraint-solving resources located in a distributed environment, which communicate asynchronously via message passing
Keywords :
constraint handling; cooperative systems; distributed programming; functional programming; message passing; CFLP; asynchronous communication; constraint domain; constraint-solving resources; cooperative constraint functional logic programming; cooperative constraint solving; distributed constraint solving; distributed environment; higher-order lazy narrowing; message passing; mixed constraints; specialized constraint-solving methods iteration; user-defined abstractions; user-defined functions; user-defined predicates; Carbon capture and storage; Circuits; Computational modeling; Differential equations; Logic programming; Message passing; Polynomials; Power system modeling; Resistors; Voltage;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Principles of Software Evolution, 2000. Proceedings. International Symposium on
Conference_Location :
Kanazawa
Print_ISBN :
0-7695-0906-1
Type :
conf
DOI :
10.1109/ISPSE.2000.913241
Filename :
913241
Link To Document :
بازگشت