PALS swMATH ID: 2444 Software Authors: Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G. Description: 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. Homepage: http://www.springerlink.com/content/ey6qlw8pw6wrlv3h/fulltext.pdf Related Software: YapOr; YAP-Prolog; pCMALib; MOCell; CEC 05; DREAM; PMF; OpenCL; ECJ; EASEA; OPT4J; HeuristicLab; JDeal; MOEA/D; MPI; dgpf; OR-Library; CUDA; ParaDisEO; PERL Cited in: 9 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year PALS: An or-parallel implementation of Prolog on Beowulf architectures. Zbl 1053.68545Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G. 2001 all top 5 Cited by 15 Authors 2 Alba, Enrique 2 Guo, Haifeng 2 Gupta, Gopal K. 2 Luque, Gabriel 2 Pontelli, Enrico 2 Villaverde, Karen 1 Barros, João Paulo 1 Codognet, Philippe 1 Gomes, Luis 1 Lebo, Alexandra I. 1 Lebo, Ivan G. 1 Mašek, Martin 1 Nesmachnow, Sergio 1 Rocha, Ricardo 1 Rohlena, Karel Cited in 5 Serials 2 Theory and Practice of Logic Programming 1 International Transactions in Operational Research 1 Communications in Nonlinear Science and Numerical Simulation 1 Matematicheskoe Modelirovanie 1 Lecture Notes in Computer Science all top 5 Cited in 7 Fields 6 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Partial differential equations (35-XX) 1 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year