The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The APPLAUSE ESPRIT Project is building major applications using the ElipSys parallel constraint logic programming system developed at ECRC. Two major aims of the project are to advance the state of the art in four commercially significant application areas and to promote the use of ElipSys-like languages among applications developers. This brief paper gives an outline of ElipSys and an overview of...
ElipSys is a programming system supporting a constraint logic programming (CLP) language and OR-parallel execution. These two features complement each other: CLP programming eases the writing of efficient search programs while OR-parallelism allows one to attain quasi-linear or super-linear speed-ups when the programs are executed on parallel machines. The speed-ups come without significant additional...
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...
This paper presents the constraint handling and garbage collection parts of ElipSys and gives an overview of its execution model. ElipSys is a logic programming system being developed at ECRC. It combines parallelism, constraint satisfaction on finite domains, and tight database coupling. Constraints in ElipSys are handled in a way that significantly improves the expressiveness and declarativeness...
Current advances in Virtual Memory for Parallel Architectures have changed the idea that software architectures with global address spaces cannot execute well on Distributed Memory Message Passing (DMMP) architectures. This paper presents a parallel logic programming platform for complex applications based on a shared binding environment. The software architecture of this platform has been designed...