Research in Logic Programming
Porting of the Muse Or-Parallel Prolog to IPSC
The objective of this project is to develop parallel Prolog systems for non-shared memory machines. The or-parallel Prolog system MUSE, that has been designed for shared memory multiprocessors, is being ported to the Intel iPSC860. The basic port has been completed. Current work is focusing on running larger programs under the ported system.
Logic Prog. Page Research Page Lab Home Page