(4) Distributed Constraint Solving for Functional Logic Programming

We pursue the development of a distributed software system consisting of a functional logic language interpreter on one machine, and a number of constraint solving engines running on other machines. The interpreter is written in the language of the computer algebra system Mathematica with communicating to the constraint solvers via the MathLink protocol.

Research Period :	June 1997 - February 1998
Cooperate Researchers :	Prof. Tetsuo Ida University of Tsukuba, Japan Dr. Wolfgang Schreiner RISC-Linz, Johannes Kepler University, Linz, Austria (Mr. or Ms.)Mircea Marin RISC-Linz, Johannes Kepler University, Linz, Austria