Abstract
The research of the Fifth Generation Computer Project was conducted based on a single principle: Logic Programming. Logic programming unifies the ideas of retrieval and computation. Both of these can be regarded as forms of deduction. Research shows that logic programming plays a central role in the project. This role is as the foundation of a very high level programming language based on constraint logic programming, and as a formalization of a very powerful concurrent programming language, which also gives specifications for multi-processor architecture.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
T. Chikayama and Y. Kimura, Multiple Reference Management in Flat GHC. In Proc. of the Fourth International Conference on Logic Programming, MIT Press, 1987.
T. CHikayama, H. Sato and T. Miyazaki, Overview of the Parallel Inference Machine Operating System(PIMOS). In Proc. of the International Conf. on Fifth Generation Computing Systems 1988, Tokyo, 1988.
K. L. Clark and S. Gregory, A Relational Language for Parallel Programming. In Proc. ACM Conf. on Functional Programming Languages and Computer Architecture, ACM, 1981.
K. L. Clark and S. Gregory, PARLOG: Parallel Programming in Logic. Research Report DOC 84/4, Dept. of Computing, Imperial College of Science and Technology, London. Also in ACM. Trans. Prog. Lang. Syst., Vol. 8, No. 1, 1986.
Fuchi, K. and Furukawa, K. ”The Role of Logic Programming in the Fifth Generation Computer Project,” New Generation Computing, Vol. 5, No. 1, Ohmsha-springer, 1987.
K. Fuchi, Impression of KL1 Programming — from my experience with writing parallel provers —. In Proc. of KL1 Programming Workshop '90, Institute for New Generation Computer Technology, Tokyo, 1990 (in Japanese).
H. Fujita and K. Furukawa, A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation. New Generation Computing, Vol. 6, Nos.2,3, Ohmsha/Springer-Verlag, 1988.
H. Fujita and R. Hasegawa, A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm. In Proc. of the Eighth International Conference on Logic Programming, Paris, 1991.
Futamura, Y. (1971) Partial Evaluation of Computation Process: An Approach to a Compiler-Compiler. Systems, Computers, Controls 2.
A. Goto, Research and Development of the Parallel Inference Machine in the FGCS Project. Technical Report TR-437, Institute for New Generation Computer Technology, Tokyo, 1989.
J. Jaffar and J-L. Lassez, Constraint Logic Programming. Technical Report, Department of Computer Science, Monash University, 1986.
H. J. Komorowski, Partial Evaluation as a Means for Inferencing Data Structure in an Applicative Language: A Theory and Implementation in the Case of Prolog. Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, 1982.
R. Manthey and F. Bry, SATCHMO: A Theorem Prover Implemented in Prolog. In Proc. of CADE-88, Argonne, Illinois, 1988.
J. A. Robinson, A Machine-Oriented Logic Based on Resolution Principle. J. ACM 12, 1965.
Sakai, K. and Aiba, A. ”CAL: A Theoretical Background of Constraint Logic Programming and its Applications,” J. Symbolic Computation, Vol.8, No.6, pp.589–603, 1989.
S. Sato and A. Aiba, An Application of CAL to Robotics. Tech. Memo TM 1032, Institute for New Generation Computer Technology, Tokyo, 1991.
H. Seki and K. Furukawa, Notes on Transformation techniques for Generate and Test Logic Programs. In Proc. 1987 Symposium on Logic Programming, IEEE Computer Society Press, 1987.
E. Y. Shapiro, A Subset of Concurrent Prolog and Its Interpreter. Tech. Report TR-003, Institute for New Generation Computer Technology, Tokyo, 1983.
A. Takeuchi and K. Furukawa, Partial Evaluation of Prolog Programs and Its Application to Meta Programming. In Proc. IFIP'86, North-Holland, 1986.
K. Taki, The Parallel Software Research and Development Tool: Multi-PSI system. In Programming of Future Generation Computers, K. Fuchi and M. Nivat, eds, North-Holland, 1988.
K. Taki, The FGCS Computing Architecture. In Proc. IFIP'89, North-Holland, 1989.
K. Ueda, Guarded Horn Clauses. In Logic Programming '85, E. Wada, ed, Lecture Notes in Computer Science, 221, Springer-Verlag, 1986.
Ueda, K. and Chikayama, T. ”Design of the Kernel Language for the Parallel Inference Machine,” The Computer Journal, Vol. 33, No. 6 (Dec., 1990), pp. 494–500.
D. H. D. Warren, An Abstract Prolog Instruction Set. Technical Note 304, Artificial Intelligence Center, SRI, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fuchi, K., Furukawa, K. (1991). Role of logic programming in the FGCS project. In: Ito, T., Meyer, A.R. (eds) Theoretical Aspects of Computer Software. TACS 1991. Lecture Notes in Computer Science, vol 526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54415-1_52
Download citation
DOI: https://doi.org/10.1007/3-540-54415-1_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54415-9
Online ISBN: 978-3-540-47617-7
eBook Packages: Springer Book Archive