FGCS'84 PROCEEDINGS
COVER
Table of Contents
PREFACE
ICOT RESEARCH AND DEVELOPMENT
Current Status and Future Plans of the Fifth Generation Computer Systems Project	3
K. Kawanobe
Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine	18
K. Murakami, T. Kakuta, R. Onai
Basic Software System	37
K. Furukawa, T. Yokoi
Sequential Inference Machine: SIM-Progress Report-	58
S. Uchida, T. Yokoi
Sequential Inference Machine: SIM-Its Programming and Operating System-	70
T. Yokoi, S. Uchida, and ICOT Third Laboratory
INVITED LECTURE
Equations and Inequations on Finite and Infinite Trees	85
A. Colmerauer
INVITED PAPERS
Foundations and Basic Software Programming with Modules as Typed Functional Programming	103
R. Burstall
Architectures MPDC: Massive Parallel Architecture for Very Large Databases	113
Y. Tanaka
Applications If Prolog Is the Answer, What Is the Question ?	138
D. G. Bobrow
SUBMITTED PAPERS
Foundations for Logic Programs (1)
Some Practical Properties of Logic Programming Interpreters	149
D. R. Brough, A. Walker
QUTE: A Functional Language Based on Unification	157
M. Sato, T. Sakurai
Incidence Calculus: A Mechanism for Probabilistic Reasoning	166
A. Bundy
A Theory of Complete Logic Programs with Equality	175
J. Jaffar, J-L. Lassez, M. J. Maher
A Program Transformation from Equational Programs into Logic Programs	185
A. Togashi, S. Noguchi
Foundations for Logic Programs (2)
Transformational Logic Program Synthesis	195
T. Sato, H. Tamaki
Efficient Unification with Infinite Terms in Logic Programming	202
A. Martelli, G. Rossi
Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language	210
N. Heck, J. Avenhaus
Programs as Executable Predicates	220
C. A. R. Hoare, A. W. Roscoe
Foundations for Logic Programs (3)
Logical Derivation of a Prolog Interpreter	229
K. Fuchi
Foundations for Logic Programs (4)
On Parallel Computational Complexity of Unification	235
H. Yasuura
Database Updates in Pure Prolog	244
D. S. Warren
DAL-A Logic for Data Analysis	254
L. Farinas, E. Orlowska
Logic Programming Languages/Methodologies (1)
Multi-Version Structures in Prolog	265
S. Cohen
Finding Temporary Terms in Prolog Programs	275
P. Vataja, E. Ukkonen
Delta-Prolog: A Distributed Logic Programming Language	283
L. M. Pereira, R. Nasr
Unique Features of ESP	292
T. Chikayama
Notes on Systems Programming in PARLOG	299
K. Clark, S. Gregory
Logic Programming Languages/Methodologies (2)
Directed Relations and Inversion of Prolog Programs	307
Y. Shoham, D. V. McDermott
Efficient Stream /Array Processing in Logic Programming Languages	317
K. Ueda, T. Chikayama
What Is a Variable in Prolog ?	327
H. Nakashima, S. Tomura, K. Ueda
A Note on the Set Abstraction in Logic Programming Language	333
T. Yokomori
Logic Programming Languages/Methodologies (3)
RF-Maple: A Logic Programming Language with Functions, Types and Concurrency	341
P. J. Voda, B. Yu
The Compilation of Prolog Programs without the Use of a Prolog Compiler	348
K. M. Kahn, M. Carlsson
Two-Level PROLOG	356
A. Porto
Metacontrol of Logic Programs in METALOG	361
M. Dincbas, J-P. Le Pape
Architectures for New Generation Computing (1)
Concurrent Data Access Architecture	373
H. Diel
Knowledge-Based VLSI Routing System-WIREX-	383
H. Mori, K. Mitsumoto, T. Fujita, S. Goto
Sword 32: A Bytecode Emulating Microprocessor for Object-Oriented Languages	389
N. Suzuki, K. Kubota, T. Aoki
Architectures for New Generation Computing (2)
Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)	398
K. Taki, M. Yokota, A. Yamamoto, H. Nishikawa, S. Uchida, 　　　H. Nakashima, A. Mitsuishi
A Microprogrammed Interpreter for the Personal Sequential Inference Machine	410
M. Yokota, A. Yamamoto, K. Taki, H. Nishikawa, S. Uchida, 　　　K. Nakajima, M. Mitsui
Design and Implementation of the Relational Database Engine	419
H. Sakai, K. Iwata, S. Kamiya, M.Abe, A. Tanaka, S. Shibayama, 　　　K. Murakami
Query Processing Flow on RDBM Delta's Functionally-Distributed Architecture	427
S. Shibayama, T. Kakuta, N. Miyazaki, H. Yokota, K. Murakami
LPS Algorithms	436
A. Lowry, S. Taylor, S. J. Stolfo
Performance Estimates for the DADO Machine: A Comparison of TREAT and RETE	449
D. P. Miranker
Architectures for New Generation Computing (3)
Systolic programming: A Paradigm of Parallel Processing	458
E.. Shapiro
Restricted And-Parallelism	471
D. DeGroot
The Architecture of a Parallel Inference Engine-PIE-	479
T. Moto-oka, H. Tanaka, H. Aida, K. Hirata, T. Maruyama
A Relational Dataflow Database Machine based on Hierarchical Ring Network	489
J. I. Kim, S. R. Maeng, J. W. Cho
Architectures for New Generation Computing (4)
ASSIP-T. A Theorem Proving Machine	497
W. Dilger, H-A. Schneider
Parallel Execution of Logic Programs Based on Dataflow Concept	507
R. Hasegawa, M. Amamiya
A Data-Driven Model for Parallel Interpretation of Logic Programs	517
L. Bic
EM-3: A Lisp-Based Data-Driven Machine	524
Y. Yamaguchi, K. Toda, J. Herath, T. Yuba
Architectures for New Generation Computing (5)
The Transputer Implementation of Occam	533
D. May, R. Shepherd
Sequential Prolog Machine PEK	542
N. Tamura, K. Wada, H. Matsuda, Y. Kaneda, S. Maekawa
Execution of Bagof on the Or-parallel Token Machine	551
A. Ciepielewski, S. Haridi
Applications of New Generation Computing (1)
Prolog-Based Expert System for Logic Design	563
F. Maruyama, T. Mano, K. Hayashi, T. Kakuda, N. Kawato, T. Uehara
Specifying Hardware in Temporal Logic & Efficient Synthesis of State-diagrams Using Prolog	572
M. Fujita, H. Tanaka, T. Moto-oka
Applications of New Generation Computing (2)
A Knowledge Based System for Plant Diagnosis	582
H. Motoda, N. Yamada, K. Yoshida
Control of Heuristic Search in a Prolog-Based Microcode Synthesis Expert System	589
M. D. Poe
SIDUR-A Structuring Formalism for Knowledge Information Processing Systems	596
D. D. Kogan, M. J. Freiling
LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework	606
F. Mizoguchi, H. Ohwada, Y. Katayama
Applications of New Generation Computing (3)
Mandala: A Logic Based Knowledge Programming System	613
K. Furukawa, A. Takeuchi, S. Kunifuji, H. Yasukawa, M. Ohki, K. Ueda
An Object-Oriented Approach to Knowledge Systems	623
M. Tokoro and Y. Ishikawa
Intelligent Information Retrieval: An Interesting Application Area for the New Generation Computer Systems	632
G. P. Zarri
Applications of New Generation Computing (4)
Knowledge Representation and INference Environment: KRINE, ・・・An Approach to Integration of Frame, Prolog and Graphics	643
Y. Ogawa, K. Shima, T. Sugawara, S. Takagi
Stalking "Coherence" in the Topical Jungle	652
B. Grau
Steps Toward an Actor-Oriented Integrated Parser	660
K. Uehara, R. Ochitani, O. Mikami, J. Toyoda
Applications of New Generation Computing (5)
More on Gapping Grammers	669
V. Dahl
Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars	678
H. Abramson
Parallel Interpretation of Natural Language	686
J. B. Pollack, D. L. Waltz
Impacts of New Generation Computing
Quality Issues in New Generation Computing	695
H. J. Kohoutek
AUTHORS INDEX	703