Shapiro, E. Y., Warren, D. H. D., Fuchi, K., Kowalski, R. A., Furukawa, K., Ueda, K., Kahn, K. M., Chikayama, T. and Tick, E., The Fifth Generation Project: Personal Perspectives. Comm. ACM, Vol. 36, No. 3 (1993), pp. 46--103.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the power for abstract concurrent programming. Introduction The Japanese Fifth Generation Project is often considered a failure. Having been launched with ambitious goals of producing intelligent systems, its spokespeople consider its most important product to be a programming language, KL1 [Sh Wa 93] In fact KL1 is just one example of a family of languages [Shap 89] which originated from attempts to introduce parallelism to the logic programming paradigm, but whose main characteristics stem from pragmatic decisions made in order to map a language with a Prolog like syntax efficiently onto a ....

E.Shapiro and D.H.D.Warren (eds). The Fifth Generation Project: personal perspectives. Comm. ACM 36(3) pp.46-101.

....24 4.3.1 Project Management : 24 4.3. 2 Software Process Modeling : 24 5 Discussion 27 6 Conclusions 29 2 1 Introduction The end of the Japanese Fifth Generation project [105, 168] has marked a crucial point in the history of logic programming. The evaluation of the results of such a project has generated a considerable debate centered around the effective applicability of the logic programming technology in industrial contexts, see for instance [195] It has been argued ....

E. Shapiro and D. Warren. The Fifth Generation Project: Personal Perspectives (special issue). Communications of the ACM, 36(3):46--100, March 1993.

.... The impression to the outsider that concurrent logic programming is a mess of many different languages with many different features is perhaps a contributing factor to the disappointing take up of these languages following the demise of their main promoter, the Japanese Fifth Generation project [Shapiro Warren 93] A feeling of the complex situation before the boom in compound committed choice backtracking languages is given by [Shapiro 89] Ringwood likens the situation to competing Judeo Christian sects squabbling over small matters of theology [Ringwood 88] On that analogy, this paper is, perhaps, a ....

. E.Shapiro and D.H.D.Warren (eds). The Fifth Generation project: personal perspectives. Comm. ACM 36, 3 pp.46-101.

.... [34] Relational Language [7] the first concrete proposal of a concurrent logic language, was followed by a succession of proposals, namely Concurrent Prolog [20] PARLOG [8] and Guarded Horn Clauses (GHC) 27] KL1 [29] the Kernel Language of the Fifth Generation Computer Systems (FGCS) project [22], was designed based on GHC by featuring (among others) mapping constructs for concurrent processes. To be precise, KL1 is based on Flat GHC [28] a subset of GHC that restricts guard goals to calls to test predicates. The mathematical theory of these languages came later in the generalized ....

.... Prolog was the first simple high level language that featured channel mobility exactly in the sense of # calculus [15] When the author proposed GHC as an alternative to Concurrent Prolog and PARLOG, the principal design guideline was to retain channel mobility and evolving process structures [22], because GHC was supposed to be the basis of KL1, a language in which to describe operating systems of Parallel Inference Machines as well as various knowledge based systems. The readers are referred to [22] for various researchers personal perspectives of the FGCS project. 1.3 ....

[Article contains additional citation context not shown here]

Shapiro, E. Y., Warren, D. H. D., Fuchi, K., Kowalski, R. A., Furukawa, K., Ueda, K., Kahn, K. M., Chikayama, T. and Tick, E., The Fifth Generation Project: Personal Perspectives. Comm. ACM, Vol. 36, No. 3 (1993), pp. 46--103.

....high level language that featured channel mobility in the sense of the # calculus. When the author proposed Guarded Horn Clauses (GHC) 36] 37] as a simplification of Concurrent Prolog and PARLOG [8] the principal design constraint was to retain channel mobility and evolving process structures [32], because GHC was supposed to be the basis of KL1 [39] a language in which to describe operating systems of the Parallel Inference Machines as well as various knowledge based systems. 4. Non strict. Logical variables provide us with the paradigm of computing with partial information. Interesting ....

.... and the language constructs were tested through a number of implementations and applications [31] The synchronization primitive, now known as ask based on logical entailment, was inspired independently around 1984 by at least three research groups, which suggests the stability of the idea [32]. Although concurrent logic languages achieved their flexibility with an extremely small number of language constructs, the fact that they were targeted to programming rather than reasoning about concurrent systems lead to little cross fertilization with later research on mobile processes. CCP ....

[Article contains additional citation context not shown here]

Shapiro, E. Y., Warren, D. H. D., Fuchi, K., Kowalski, R. A., Furukawa, K., Ueda, K., Kahn, K. M., Chikayama, T. and Tick, E., The Fifth Generation Project: Personal Perspectives. Comm. ACM, Vol. 36, No. 3 (1993), pp. 46--103.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC