This paper describes the development of the PALS system, an implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel technique, called incremental stack-splitting. The technique builds on the stack-splitting approach, which in turn is an evolution of the stack-copying method used in a variety of parallel logic systems. This is the first distributed implementation based on the stack-splitting method ever realized. Experimental results obtained on a Beowulf system are presented and analyzed.
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
- Santos, Jõao; Rocha, Ricardo: On the implementation of an or-parallel Prolog system for clusters of multicores (2016)
- Alba, Enrique; Luque, Gabriel; Nesmachnow, Sergio: Parallel metaheuristics: recent advances and new trends (2013)
- Lebo, A. I.; Lebo, I. G.: The power laser pulse interaction with low density targets in the “PALS” installation experiments (2009)
- Alba, Enrique; Luque, Gabriel: A hybrid genetic algorithm for the DNA fragment assembly problem (2008)
- Mašek, Martin; Rohlena, Karel: Stimulated Raman scattering in the presence of trapped particle instability (2008)
- Pontelli, Enrico; Villaverde, Karen; Guo, Hai-Feng; Gupta, Gopal: PALS: Efficient or-parallel execution of prolog on Beowulf clusters (2007)
- Codognet, Philippe (ed.): Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 -- December 1, 2001. Proceedings (2001)
- Gomes, Luis; Barros, João Paulo: Using hierarchical structuring mechanism with Petri nets for PLD based system design (2001)
- Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G.: PALS: An or-parallel implementation of Prolog on Beowulf architectures (2001)