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.
Unable to display preview. Download preview PDF.
- [DS+91]M. Dorochevsky, K. Schuermann, A. Véron, and J. Xu. Constraints Handling, Garbage Collection and Execution Model Issues in ElipSys. In Springer Verlag, editor, Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop Proceedings, pages 17–28, Paris, June 1991.Google Scholar
- [Boc91]Jorge B. Bocca. MegaLog — A platform for developing Knowledge Base Management Systems. In Proceedings of the International Symposium on Database Systems for Advanced Applications, pages 374–380, April 1991.Google Scholar
- [DVHS+88]M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on 5 th Generation Computer Systems, pages 693–702, December 1988.Google Scholar
- [LPW92]Thierry Le Provost and Mark Wallace. Domain independent propagation. In Proceedings of the International Conference on 5 th Generation Computer Systems, 1992.Google Scholar