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.