ElipSys - A Parallel Programming System Based on Logic

ElipSys is a parallel programming system based on logic being developed at ECRC. The aim of the project is to support the development and delivery of large decision support systems. It integrates three of the most important technologies required to support such systems: constraint satisfaction, tight database coupling and parallel evaluation. The project addresses issues at all levels: from language design to implementation. Of particular note is the work to improve the expressiveness and declarativeness of logic programming, and the design of an execution model that is appropriate to a range of parallel machine architectures, from shared memory to distributed memory. A prototype version of ElipSys is running on the Sequent Symmetry and a network of SUN workstations running the MACH operating system. Prototypes of a number of commercially and technologically important applications have been implemented using ElipSys by a number of end-user application development organizations.