Abstract
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.
This is a preview of subscription content, log in via an institution.
References
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.
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.
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.
Thierry Le Provost and Mark Wallace. Domain independent propagation. In Proceedings of the International Conference on 5 th Generation Computer Systems, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dorochevsky, M., Li, LL., Reeve, M., Schuerman, K., Véron, A. (1992). ElipSys A parallel programming system based on logic. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013090
Download citation
DOI: https://doi.org/10.1007/BFb0013090
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55727-2
Online ISBN: 978-3-540-47279-7
eBook Packages: Springer Book Archive