=ADD=
=reftype=
14
=number=
99-50
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-50.ps.gz
=year=
1999
=month=
12
=author=
Marin; Mircea + Ida; Tetsuo + Schreiner; Wolfgang
=title=
A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi
=abstract=
In this paper we describe the architecture and implementation of a 
system that ains at extending in a consistent way a functional logic
programming language with solving techniques of various constraint 
solving systems. The system is called CFLP (Constrained Functional 
Logic Programming language) and consits of a lazy functional logic
interpreter extended in two directions: the possibility to specify 
constraints and the possibility to specify AND- and OR-parallelism. 
For solving the constraints, a distributed constraint solving system 
was implemented.
=howpublished=
JSSST PPL'99 Workshop on Programming and Programming Languages, Togawa, Japan, 
March 17-19, 1999, Japan Society for Software Science and Technology. 
=sponsor=
.
=keywords=
functional logic programming, constraint solving, distributed computing, 
parallel computing.