caa a22 4500 386364222 CHVBK 20180307111927.0 cr unu---uuuuu 161130e198912 xx s 000 0 eng 10.1017/S0269888900005130 doi S0269888900005130 pii (NATIONALLICENCE)cambridge-10.1017/S0269888900005130 Ringwood G. A. Department of Computing, Imperial College, LONDON SW7 2BZ, UK A Comparative Exploration of Concurrent Logic Languages [Elektronische Daten] [G. A. Ringwood] The execution model of Prolog, the first popular language based on Horn Clauses, was designed for efficient evaluation on von Neumann architectures. An alternative process model of execution, better suited for parallel evaluation and reactive programming, has given rise to a new class of languages based on Horn Clause logic, concurrent logic languages. There appears to be a profusion of languages which claim to fall into this class and it is difficult for an initiate to appreciate why each is the way it is. One notable member of this class, FGHC, forms the cornerstone of the Japanese 5th Generation Initiative. Fortunately, the seemingly exponential growth in these languages is only an illusion. A finite number of synchronization mechanisms arise from attempting (or sometimes not attempting) to control two principle synchronization difficulties: the premature binding problem and the binding conflict problem. Suitable combinations of these synchronization mechanisms reproduce the languages of this family. A background knowledge of Prolog is assumed and some familiarity with the difficulties encountered in concurrency would be advantageous. Copyright © Cambridge University Press 1989 The Knowledge Engineering Review Cambridge University Press 4/4(1989-12), 305-332 0269-8889 4:4<305 1989 4 KER https://doi.org/10.1017/S0269888900005130 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1017/S0269888900005130 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Ringwood G. A. Department of Computing, Imperial College, LONDON SW7 2BZ, UK NATIONALLICENCE 773 0- The Knowledge Engineering Review Cambridge University Press 4/4(1989-12), 305-332 0269-8889 4:4<305 1989 4 KER CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-cambridge