next up previous contents
Next: Contents

Distributed Constraint Solving for Functional Logic Programming

AITEC Research Funding Programme Progress Report 1999

Prof. Bruno Buchberger - Dr. Wolfgang Schreiner - Dipl.Ing. Mircea Marin
{Bruno.Buchberger,Wolfgang.Schreiner,Mircea.Marin}@risc.uni-linz.ac.at
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria

Prof. Tetsuo Ida
ida@score.is.tsukuba.ac.jp
Institute of Information Sciences and Electronics
University of Tsukuba
Tsukuba 305-8573, Japan

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 and communicates with the constraint solvers via the MathLink protocol.



next up previous contents
Next: Contents


www-admin@icot.or.jp