caa a22 4500 467988749 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900201xx s 000 0 eng 10.1007/BF03037208 doi (NATIONALLICENCE)springer-10.1007/BF03037208 The Aurora or-parallel Prolog system [Elektronische Daten] [Ewing Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, David Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman] Aurora is a prototype or-parallel implementation of the full Prolog language for shared-memory multiprocessors, developed as part of an informal research collaboration known as the "Gigalips Project”. It currently runs on Sequent and Encore machines. It has been constructed by adapting Sicstus Prolog, a fast, portable, sequential Prolog system. The techniques for constructing a portable multiprocessor version follow those pioneered in a predecessor system, ANL-WAM. The SRI model was adopted as the means to extend the Sicstus Prolog engine for or-parallel operation. We describe the design and main implementation features of the current Aurora system, and present some experimental results. For a range of benchmarks, Aurora on a 20-processor Sequent Symmetry is 4 to 7 times faster than Quintus Prolog on a Sun 3/75. Good performance is also reported on some large-scale Prolog applications. Ohmsha, Ltd. and Springer, 1990 Logic Programming nationallicence Prolog nationallicence Parallel Computing nationallicence Automatic Parallelization nationallicence Lusk Ewing Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A. aut Butler Ralph Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A. aut Disz Terrence Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A. aut Olson Robert Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A. aut Overbeek Ross Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A. aut Stevens Rick Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A. aut Warren David Department of Computer Science, University of Bristol, BS81TR, Bristol, U. K. aut Calderwood Alan Department of Computer Science, University of Bristol, BS81TR, Bristol, U. K. aut Szeredi Péter Department of Computer Science, University of Bristol, BS81TR, Bristol, U. K. aut Haridi Seif Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut Brand Per Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut Carlsson Mats Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut Ciepielewski Andrzej Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut Hausman Bogumil Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 243-271 0288-3635 7:2-3<243 1990 7 354 https://doi.org/10.1007/BF03037208 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037208 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Lusk Ewing Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A aut NATIONALLICENCE 700 1- Butler Ralph Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A aut NATIONALLICENCE 700 1- Disz Terrence Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A aut NATIONALLICENCE 700 1- Olson Robert Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A aut NATIONALLICENCE 700 1- Overbeek Ross Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A aut NATIONALLICENCE 700 1- Stevens Rick Mathematics and Computer Division, Argonne National Laboratory, 60439, Argonne, IL, U. S. A aut NATIONALLICENCE 700 1- Warren David Department of Computer Science, University of Bristol, BS81TR, Bristol, U. K aut NATIONALLICENCE 700 1- Calderwood Alan Department of Computer Science, University of Bristol, BS81TR, Bristol, U. K aut NATIONALLICENCE 700 1- Szeredi Péter Department of Computer Science, University of Bristol, BS81TR, Bristol, U. K aut NATIONALLICENCE 700 1- Haridi Seif Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Brand Per Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Carlsson Mats Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Ciepielewski Andrzej Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 700 1- Hausman Bogumil Swedish Institute of Computer Science, Box 1263, S-164 28, Kista, Sweden aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 243-271 0288-3635 7:2-3<243 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer