Abstract is missing.
- Revisiting Original Philosophy of Fifth Generation Computer Systems ProjectKazuhiro Fuchi. 1-2
- Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base MachineKunio Murakami, Takeo Kakuta, Rikio Onai. 18-36
- Basic Software SystemKoichi Furukawa, Toshio Yokoi. 37-57
- Sequential Inference Machine: SIM Progress ReportShunichi Uchida, Toshio Yokoi. 58-69
- Sequential Inference Machine: SIM its Programming and Operating SystemToshio Yokoi, Shunichi Uchida. 70-81
- Equations and Inequations on Finite and Infinite TreesAlain Colmerauer. 85-99
- Programming with Modules as Typed Functional ProgrammingRod M. Burstall. 103-112
- MPDC: Massive Parallel Architecture for Very Large databasesYuzuru Tanaka. 113-137
- If Prolog is the Answer, what is the Question?Daniel G. Bobrow. 138-145
- Some Practical Properties of Logic Programming InterpretersDerek R. Brough, Adrian Walker. 149-156
- QUTE: A Functional Language Based on UnificationMasahiko Sato, Takafumi Sakurai. 157-165
- Incidence Calculus: A Mechanism for Probabilistic ReasoningAlan Bundy. 166-174
- A Theory of Complete Logic Programs with EqualityJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher. 175-184
- A Program Transformation from Equational Programs into Logic ProgramsAtsushi Togashi, Shoichi Noguchi. 185-194
- Transformational Logic Program SynthesisTaisuke Sato, Hisao Tamaki. 195-201
- Efficient Unificatioin with Infinite Terms in Logic ProgrammingAlberto Martelli, Gianfranco Rossi. 202-209
- Automatic Implementation of Abstract Data Types Specified by the Logic Programming LanguageNorbert Heck, Jürgen Avenhaus. 210-219
- Programs as Executable PredicatesC. A. R. Hoare, A. W. Roscoe. 220-228
- Logical Derivation of a Prolog InterpreterKazuhiro Fuchi. 229-234
- On Parallel Computational Complexity of UnificationHiroto Yasuura. 235-243
- Database Updates in Pure PrologDavid Scott Warren. 244-253
- DAL - A Logic for Data AnalysisLuis Fariñas del Cerro, Ewa Orlowska. 254-261
- Multi-Version Structures in PrologShimon Cohen. 265-274
- Finding Temporary Terms in Prolog ProgramsPentti Vataja, Esko Ukkonen. 275-282
- Unique Features of ESPTakashi Chikayama. 292-298
- Notes on System Programming in ParlogKeith L. Clark, Steve Gregory. 299-306
- Directed Relations and Inversion of Prolog ProgramsYoav Shoham, Drew V. McDermott. 307-316
- Efficient Stream/Array Processing in Logic Programming LanguagesKazunori Ueda, Takashi Chikayama. 317-326
- What is a Variable in Prolog?Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda. 327-332
- A Note on the Set Abstraction in Logic Programming LanguageTakashi Yokomori. 333-340
- RF-Maple: A Logic Programming Language with Functions, Types, and ConcurrencyPaul J. Voda, Benjamin Yu. 341-347
- The Compilation of Prolog Programs without the Use of a Prolog CompilerKenneth M. Kahn, Mats Carlsson. 348-355
- Two-Level PrologAntónio Porto. 356-360
- Metacontrol of Logic Programs in MetalogMehmet Dincbas, Jean-Pierre Le Pape. 361-370
- Concurrent Data Access ArchitectureHans Diel. 373-382
- Knowledge-Based VLSI Routing System - WIREXHajimu Mori, Keiko Mitsumoto, Tomyyuki Fujita, Satoshi Goto. 383-388
- Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented LanguagesNorihisa Suzuki, Koichi Kubota, Takashi Aoki. 389-397
- Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)Kazuo Taki, Minoru Yokota, Akira Yamamoto, Hiroshi Nishikawa, Shunichi Uchida, Hiroshi Nakashima, Akitoshi Mitsuishi. 398-409
- A Microprogrammed Interpreter for the Personal Sequential Inference MachineMinoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida, Katsuto Nakajima, Masaki Mitsui. 410-418
- Design and Implementation of the Relational Datbase EngineHiroshi Sakai, Kazuhide Iwata, Shigeo Kamiya, Masaaki Abe, Akio Tanaka, Shigeki Shibayama, Kunio Murakami. 419-426
- Query Processing Flow on RDBM Delta s Functionally-Distributed ArchitectureShigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota, Kunio Murakami. 427-435
- LPS AlgorithmsAndy Lowry, Stephen Taylor, Salvatore J. Stolfo. 436-448
- Performance Estimates for the DADO Machine: A Comparison of Treat and ReteDaniel P. Miranker. 449-457
- Systolic Programming: A Paradigm of Parallel ProcessingEhud Y. Shapiro. 458-470
- Restricted AND-ParallelismDoug DeGroot. 471-478
- The Architecture of a Parallel Inference Engine - PIETohru Moto-Oka, Hidehiko Tanaka, Hitoshi Aida, Keiji Hirata, Tsutomu Maruyama. 479-488
- A Relational Dataflow Database Machine Based on Hierarchical Ring NetworkJ. I. Kim, Seungryul R. Maeng, Jung Wan Cho. 489-496
- ASSIP-T: A Theorem Proving MachineWerner Dilger, Hans-Albert Schneider. 497-506
- Parallel Execution of Logic Programs based on Dataflow ConceptRyuzo Hasegawa, Makoto Amamiya. 507-516
- A Data-Driven Model for Parallel Interpretation of Logic ProgramsLubomir Bic. 517-523
- EM-3: A Lisp-Based Data-Driven MachineYoshinori Yamaguchi, Kenji Toda, Jayantha A. Herath, Toshitsugu Yuba. 524-532
- The Transputer Implementation of OccamDavid May, Roger Shepherd. 533-541
- Sequential Prolog Machine PEKNaoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa. 542-550
- Execution of Bagof on the Or-Parallel Token MachineAndrzej Ciepielewski, Seif Haridi. 551-560
- Prolog-Based Expert System for Logic DesignFumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takeo Uehara. 563-571
- Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using PrologMasahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka. 572-581
- A Knowledge based System for Plant DiagnosisHiroshi Motoda, Naoyuki Yamada, Kenichi Yoshida. 582-588
- Control of Heuristic Search in a Prolog-based Microcode Synthesis Expert SystemMichael D. Poe. 589-595
- SIDUR - A Structuring Formalism for Knowledge Information Processing SystemsDan D. Kogan, Michael J. Freiling. 596-605
- LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming FrameworkFumio Mizoguchi, Hayato Ohwada, Yoshinori Katatama. 606-612
- MANDELA: A LogicBased Knowledge Programming SystemKoichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda. 613-622
- An Object-Oriented Approach to Knowledge SystemsMario Tokoro, Yutaka Ishikawa. 623-631
- Intelligent Information Retrieval: An Interesting Application Area for the New Generation Computer SystemsGian Piero Zarri. 632-642
- Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and GraphicsYutaka Ogawa, Kenichi Shima, Toshiharu Sugawara, Shigeru Takagi. 643-651
- Stalking Coherence in the Topical JungleBrigitte Grau. 652-659
- Steps Toward an Actor-Oriented Integrated ParserKuniaki Uehara, Ryo Ochitani, Osamu Mikami, Jun ichi Toyoda. 660-668
- More on Gapping GrammarsVerónica Dahl. 669-677
- Parallel Interpretation of Natural LanguageJordan B. Pollack, David L. Waltz. 686-691