TY - JOUR
T1 - Logic/Constraint Programming and Concurrency
T2 - The hard-won lessons of the Fifth Generation Computer project
AU - Ueda, Kazunori
N1 - Funding Information:
The author would like to thank Oleg Kiselyov who pointed out that the FGCS project should still be of interest to many researchers today, both from a technical and a social point of view. Indeed, to my pleasant surprise, a number of researchers expressed their interest as soon as they received automatic alert of the original version of this article [42] or an announcement of the FLOPS 2016 programme. The author is indebted to anonymous reviewers for their careful reading and constructive suggestions. This work is partially supported by Grant-In-Aid for Scientific Research ( (B) 26280024 ), JSPS , Japan. This paper is dedicated to the late Prof. Koichi Furukawa, who lead the research of many aspects of Logic Programming in the FGCS project, including the design of the Kernel Language, and suddenly passed away on January 31, 2017.
Publisher Copyright:
© 2017 Elsevier B.V.
PY - 2018/10/15
Y1 - 2018/10/15
N2 - The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture. The Logic Programming paradigm was adopted as the central working hypothesis of the project. At the same time, building a large-scale Parallel Inference Machine (PIM) meant to develop a novel form of general-purpose computing technologies that are powerful enough to express various parallel algorithms and to describe a full operating system of PIM. Accordingly, the research goal of the Kernel Language was set to designing a concurrent and parallel programming language under the working hypothesis of Logic Programming. The aim of this article is to describe the design process of the Kernel Language (KL1) in the context of related programming models in the 1980s, the essence of Concurrent Logic Programming and Constraint-Based Concurrency, and how the technologies we developed in those days evolved after their conception.
AB - The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer architecture. The Logic Programming paradigm was adopted as the central working hypothesis of the project. At the same time, building a large-scale Parallel Inference Machine (PIM) meant to develop a novel form of general-purpose computing technologies that are powerful enough to express various parallel algorithms and to describe a full operating system of PIM. Accordingly, the research goal of the Kernel Language was set to designing a concurrent and parallel programming language under the working hypothesis of Logic Programming. The aim of this article is to describe the design process of the Kernel Language (KL1) in the context of related programming models in the 1980s, the essence of Concurrent Logic Programming and Constraint-Based Concurrency, and how the technologies we developed in those days evolved after their conception.
KW - Concurrent Logic Programming
KW - Constraint-Based Concurrency
KW - Fifth Generation Computer Systems project
KW - Logic Programming
UR - http://www.scopus.com/inward/record.url?scp=85021743230&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85021743230&partnerID=8YFLogxK
U2 - 10.1016/j.scico.2017.06.002
DO - 10.1016/j.scico.2017.06.002
M3 - Article
AN - SCOPUS:85021743230
SN - 0167-6423
VL - 164
SP - 3
EP - 17
JO - Science of Computer Programming
JF - Science of Computer Programming
ER -