Next: Contents
Distributed Constraint Solving for Functional Logic Programming
AITEC Research Funding Programme
Progress Report 1997
Prof. Bruno Buchberger - Dr. Wolfgang Schreiner
{Bruno.Buchberger,Wolfgang.Schreiner}@risc.uni-linz.ac.at
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
Abstract:
We report on 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.
Next: Contents
www-admin@icot.or.jp