caa a22 4500 467988714 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900201xx s 000 0 eng 10.1007/BF03037207 doi (NATIONALLICENCE)springer-10.1007/BF03037207 A wide instruction word architecture for parallel execution of logic programs coded in BSL [Elektronische Daten] [Kemal Ebcioĝlu, Manoj Kumar] This paper begins by describing BSL, a new logic programming language fundamentally different from Prolog. BSL is a nondeterministic Algol-class language whose programs have a natural translation to first order logic; executing a BSL program without free variables amounts to proving the corresponding first order sentence. A new approach is proposed for parallel execution of logic programs coded in BSL, that relies on advanced compilation techniques for extracting fine grain parallelism from sequential code. We describe a new "Very Long Instruction Word” (VLIW) architecture for parallel execution of BSL programs. The architecture, now being designed at the IBM Thomas J. Watson Research Center, avoids the synchronization and communication delays (normally associated with parallel execution of logic programs on multiprocessors), by determining data dependences between operations at compile time, and by coupling the processing elements very tightly, via a single central shared register file. A simulator for the architecture has been implemented and some simulation results are reported in the paper, which are encouraging. Ohmsha, Ltd. and Springer, 1990 Logic Programming nationallicence Fine Grained Parallelism nationallicence Very Long Instruction Word (VLIW) Architectures nationallicence Ebcioĝlu Kemal IBM Research Division, Thomas J. Watson Research Center, 10598, Yorktown Heights, NY, U. S. A. aut Kumar Manoj IBM Research Division, Thomas J. Watson Research Center, 10598, Yorktown Heights, NY, U. S. A. aut New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 219-242 0288-3635 7:2-3<219 1990 7 354 https://doi.org/10.1007/BF03037207 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037207 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Ebcioĝlu Kemal IBM Research Division, Thomas J. Watson Research Center, 10598, Yorktown Heights, NY, U. S. A aut NATIONALLICENCE 700 1- Kumar Manoj IBM Research Division, Thomas J. Watson Research Center, 10598, Yorktown Heights, NY, U. S. A aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 219-242 0288-3635 7:2-3<219 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer