AITEC Contract Research Projects in FY1997:Intermediate Report

(4) Distributed Constraint Solving for Functional Logic Programming

Principal Investigator : Bruno Buchberger, Professor
Research Institute for Symbolic Computation (RISC-Linz)


Title of the Research Project, Principal Investigator
(1) Title of the Research Project
Distributed Constraint Solving for Functional Logic Programming

(2) Principal Investigator
Dr. Bruno Buchberger, Professor
Research Institute for Symbolic Computation (RISC-Linz)

Contents
(1)Current progress of the project

Our project work started in September 1997. The first three months of the project have been dedicated to the design of the interpretation mechanism where the lazy narrowing calculus has been extended towards parallelism and constraint solving. In September and October, Prof. Buchberger and Mircea Marin from RISC- Linz spent six weeks with the group of Prof. Ida at the University of Tsukuba to elaborate the details together.

(2)Obtained research results

We have formalized a first version of the calculus to serve as a starting point of the implementation. A lazy narrowing interpreter implemented in Mathematica by Prof. Ida has been extended with a stub interface towards constraint solving. The language and its implementation calculus are currently being specified in a design document on which the further implementation will be based.

(3)Planned schedule till the end of February 1998

We will dedicate the next tree months of the project (till the end of February 1998) to providing the functional logic language interpreter with a complete interface to the parallel constraint solving scheduler. A dummy implementation of the scheduler (connected locally to a single constraint solving engine) will be developed.

(4)Expected software by the end of February 1998

By the end of February 1998, a skeleton of the system will be available where the language interpreter will be connected to a single local constraint solving engine; thus first (not yet distributed) experiments with functional logic programs using constraints over some sample domain will become possible. We will later extend this skeleton to the actual distributed system.


www-admin@icot.or.jp