caa a22 4500 467988684 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900201xx s 000 0 eng 10.1007/BF03037202 doi (NATIONALLICENCE)springer-10.1007/BF03037202 Haridi Seif Swedish Institute of Computer Science, Box 1263, 164 28, Kista, Sweden aut A logic programming language based on the Andorra model [Elektronische Daten] [Seif Haridi] The Andorra model is a parallel execution model of logic programs which exploits the dependent and-parallelism and or-parallelism inherent in logic programming. We present a flat subset of a language based on the Andorra model, henceforth called Andorra Prolog, that is intended to subsume both Prolog and the committed choice languages. Flat Andorra, in addition todon't know anddon't care nondeterminism, supports control of or-parallel split, synchronisation on variables, and selection of clauses. We show the operational semantics of the language, and its applicability in the domain of committed choice languages. As an examples of the expressiveness of the language, we describe a method for communication between objects by time-stamped messages, which is suitable for expressing distributed discrete event simulation applications. This method depends critically on the ability to expressdon't know nondeterminism and thus cannot easily be expressed in a committed choice language. Ohmsha, Ltd. and Springer, 1990 Andorra Prolog nationallicence Concurrent Logic Programming nationallicence Parallel Programming Languages nationallicence Distributed Simulation nationallicence New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 109-125 0288-3635 7:2-3<109 1990 7 354 https://doi.org/10.1007/BF03037202 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037202 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Haridi Seif Swedish Institute of Computer Science, Box 1263, 164 28, Kista, Sweden aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 109-125 0288-3635 7:2-3<109 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer