FGCS 1984: Tokyo, Japan

Institute for New Generation Computer Technology (ICOT, Ed.): Fifth Generation Computer Systems 1984, Proceedings of the International Conference on Fifth Generation Computer Systems 1984, Tokyo, Japan, November 6-9, 1984. OHMSHA Ltd. Tokyo and North-Holland, 1984, ISBN 4-274-07221-5 and 0-444-87673-1

ICOT Research and Development

Kazuhiro Fuchi: Revisiting Original Philosophy of Fifth Generation Computer Systems Project. 1-2
Kazukiyo Kawanobe: Current Status and Future Plans of the Fifth Generation Computer Systems Project. 3-17
Kunio Murakami, Takeo Kakuta, Rikio Onai: Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine. 18-36
Koichi Furukawa, Toshio Yokoi: Basic Software System. 37-57
Shunichi Uchida, Toshio Yokoi: Sequential Inference Machine: SIM Progress Report. 58-69
Toshio Yokoi, Shunichi Uchida: Sequential Inference Machine: SIM its Programming and Operating System. 70-81

Invited Lecture

Alain Colmerauer: Equations and Inequations on Finite and Infinite Trees. 85-99

Invited Paper: Foundations and Basic Software

Rod M. Burstall: Programming with Modules as Typed Functional Programming. 103-112

Invited Paper: Architectures

Yuzuru Tanaka: MPDC: Massive Parallel Architecture for Very Large databases. 113-137

Invited Paper: Applications

Daniel G. Bobrow: If Prolog is the Answer, what is the Question? 138-145

Foundations for Logic Programs (1)

Derek R. Brough, Adrian Walker: Some Practical Properties of Logic Programming Interpreters. 149-156
Masahiko Sato, Takafumi Sakurai: QUTE: A Functional Language Based on Unification. 157-165
Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. 166-174
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher: A Theory of Complete Logic Programs with Equality. 175-184
Atsushi Togashi, Shoichi Noguchi: A Program Transformation from Equational Programs into Logic Programs. 185-194

Foundations for Logic Programs (2)

Taisuke Sato, Hisao Tamaki: Transformational Logic Program Synthesis. 195-201
Alberto Martelli, Gianfranco Rossi: Efficient Unificatioin with Infinite Terms in Logic Programming. 202-209
Norbert Heck, Jürgen Avenhaus: Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. 210-219
C. A. R. Hoare, A. W. Roscoe: Programs as Executable Predicates. 220-228

Foundations for Logic Programs (3)

Kazuhiro Fuchi: Logical Derivation of a Prolog Interpreter. 229-234

Foundations for Logic Programs (4)

Hiroto Yasuura: On Parallel Computational Complexity of Unification. 235-243
David Scott Warren: Database Updates in Pure Prolog. 244-253
Luis Fariñas del Cerro, Ewa Orlowska: DAL - A Logic for Data Analysis. 254-261

Logic Programming Languages/Methodologies (1)

Shimon Cohen: Multi-Version Structures in Prolog. 265-274
Pentti Vataja, Esko Ukkonen: Finding Temporary Terms in Prolog Programs. 275-282
Luís Moniz Pereira, Roger Nasr: Delta-Prolog: A Distributed Logic Programming Language. 283-291
Takashi Chikayama: Unique Features of ESP. 292-298
Keith L. Clark, Steve Gregory: Notes on System Programming in Parlog. 299-306

Logic Programming Languages/Methodologies (2)

Yoav Shoham, Drew V. McDermott: Directed Relations and Inversion of Prolog Programs. 307-316
Kazunori Ueda, Takashi Chikayama: Efficient Stream/Array Processing in Logic Programming Languages. 317-326
Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda: What is a Variable in Prolog? 327-332
Takashi Yokomori: A Note on the Set Abstraction in Logic Programming Language. 333-340

Logic Programming Languages/Methodologies (3)

Paul J. Voda, Benjamin Yu: RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency. 341-347
Kenneth M. Kahn, Mats Carlsson: The Compilation of Prolog Programs without the Use of a Prolog Compiler. 348-355
António Porto: Two-Level Prolog. 356-360
Mehmet Dincbas, Jean-Pierre Le Pape: Metacontrol of Logic Programs in Metalog. 361-370

Architectures for New Generation Computing (1)

Hans Diel: Concurrent Data Access Architecture. 373-382
Hajimu Mori, Keiko Mitsumoto, Tomyyuki Fujita, Satoshi Goto: Knowledge-Based VLSI Routing System - WIREX. 383-388
Norihisa Suzuki, Koichi Kubota, Takashi Aoki: Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages. 389-397

Architectures for New Generation Computing (2)

Kazuo Taki, Minoru Yokota, Akira Yamamoto, Hiroshi Nishikawa, Shunichi Uchida, Hiroshi Nakashima, Akitoshi Mitsuishi: Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI). 398-409
Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida, Katsuto Nakajima, Masaki Mitsui: A Microprogrammed Interpreter for the Personal Sequential Inference Machine. 410-418
Hiroshi Sakai, Kazuhide Iwata, Shigeo Kamiya, Masaaki Abe, Akio Tanaka, Shigeki Shibayama, Kunio Murakami: Design and Implementation of the Relational Datbase Engine. 419-426
Shigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota, Kunio Murakami: Query Processing Flow on RDBM Delta's Functionally-Distributed Architecture. 427-435
Andy Lowry, Stephen Taylor, Salvatore J. Stolfo: LPS Algorithms. 436-448
Daniel P. Miranker: Performance Estimates for the DADO Machine: A Comparison of Treat and Rete. 449-457

Architectures for New Generation Computing (3)

Ehud Y. Shapiro: Systolic Programming: A Paradigm of Parallel Processing. 458-470
Doug DeGroot: Restricted AND-Parallelism. 471-478
Tohru Moto-Oka, Hidehiko Tanaka, Hitoshi Aida, Keiji Hirata, Tsutomu Maruyama: The Architecture of a Parallel Inference Engine - PIE. 479-488
J. I. Kim, Seungryul R. Maeng, Jung Wan Cho: A Relational Dataflow Database Machine Based on Hierarchical Ring Network. 489-496

Architectures for New Generation Computing (4)

Werner Dilger, Hans-Albert Schneider: ASSIP-T: A Theorem Proving Machine. 497-506
Ryuzo Hasegawa, Makoto Amamiya: Parallel Execution of Logic Programs based on Dataflow Concept. 507-516
Lubomir Bic: A Data-Driven Model for Parallel Interpretation of Logic Programs. 517-523
Yoshinori Yamaguchi, Kenji Toda, Jayantha A. Herath, Toshitsugu Yuba: EM-3: A Lisp-Based Data-Driven Machine. 524-532

Architectures for New Generation Computing (5)

David May, Roger Shepherd: The Transputer Implementation of Occam. 533-541
Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa: Sequential Prolog Machine PEK. 542-550
Andrzej Ciepielewski, Seif Haridi: Execution of Bagof on the Or-Parallel Token Machine. 551-560

Applications for New Generation Computing (1)

Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takeo Uehara: Prolog-Based Expert System for Logic Design. 563-571
Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka: Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog. 572-581

Applications for New Generation Computing (2)

Hiroshi Motoda, Naoyuki Yamada, Kenichi Yoshida: A Knowledge based System for Plant Diagnosis. 582-588
Michael D. Poe: Control of Heuristic Search in a Prolog-based Microcode Synthesis Expert System. 589-595
Dan D. Kogan, Michael J. Freiling: SIDUR - A Structuring Formalism for Knowledge Information Processing Systems. 596-605
Fumio Mizoguchi, Hayato Ohwada, Yoshinori Katatama: LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework. 606-612

Applications for New Generation Computing (3)

Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda: MANDELA: A LogicBased Knowledge Programming System. 613-622
Mario Tokoro, Yutaka Ishikawa: An Object-Oriented Approach to Knowledge Systems. 623-631
Gian Piero Zarri: Intelligent Information Retrieval: An Interesting Application Area for the New Generation Computer Systems. 632-642

Applications for New Generation Computing (4)

Yutaka Ogawa, Kenichi Shima, Toshiharu Sugawara, Shigeru Takagi: Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics. 643-651
Brigitte Grau: Stalking "Coherence" in the Topical Jungle. 652-659
Kuniaki Uehara, Ryo Ochitani, Osamu Mikami, Jun'ichi Toyoda: Steps Toward an Actor-Oriented Integrated Parser. 660-668

Applications for New Generation Computing (5)

Verónica Dahl: More on Gapping Grammars. 669-677
Harvey Abramson: Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars. 678-685
Jordan B. Pollack, David L. Waltz: Parallel Interpretation of Natural Language. 686-691

Impacts of New Generation Computing

Henry J. Kohoutek: Quality Issues in New Generation Computing. 695-702