Abstract is missing.
- Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-RRikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso. 1-12
- Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-RMamoru Sugie, M. Yoneyama, T. Sakabe, M. Iwasaki, S. Yoshizumi, Moritoshi Aso, Hajime Shimizu, Rikio Onai. 13-24
- A Note on the Elementary Execution Unit in a Parallel Inference MachineTsutomu Maruyama, Keiji Hirata, Hidehiko Tanaka, Tohru Moto-Oka. 25-34
- Parallel Prolog Machine PARK: Its Hardware Structure and Prolog SystemHideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa. 35-43
- Heuristic Applied in Tree Manipulation Algorithm SynthesisEtsuo Itoh, Hiroshi Nakagawa. 44-55
- Analogical Reasoning using Transformations of RulesMakoto Haraguchi. 56-65
- Synchronization and Communication in the Subject T. Hisano, M. Suwa. 66-77
- ZERO: Frame + PrologH. Ito, H. Ueno. 78-89
- PRESET - A Debugging Environment for PrologHidehisa Takahashi, Etsuya Shibayama. 90-99
- PROEDIT - A Screen Oriented Prolog Programming EnvironmentMasayuki Numao, H. Maruyama. 100-107
- Software Prototyping with MENDELShinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya. 108-116
- Retrieval of Software Module Functions Using First-Order Predicate Logic FormulaeH. Yoshida, H. Kato, M. Sugimoto. 117-127
- Temporal Logic Programming Language Tokio - Programming in TokioT. Aoyagi, Masahiro Fujita, Tohru Moto-Oka. 128-137
- Implementation of Temporal Logic Programming Language TokioShinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka. 138-147
- Heuristic Prolog: Logic Program Execution by Heuristic SearchK. Nakamura. 148-155
- AND-OR Queuing in Extended Concurrent PrologJiro Tanaka, Takashi Yokomori, Makoto Kishishita. 156-167
- Guarded Horn ClausesKazunori Ueda. 168-179
- TDProlog: An Extended Prolog with Term DescriptionSatoru Tomura. 180-191
- Design and Evaluation of a Prolog CompilerMitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori. 192-203
- The Program Characteristics in Logic Programming Language ESPAkira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima. 204-213
- Extended Prolog and Ints Application to an Integrated Parser for Text UnderstandingKuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun ichi Toyoda. 214-225
- A Travel Consultation System: Towards a Smooth Conversation in JapaneseH. Suzuki, M. Kiyono, S. Kougo, M. Takahashi, S. Motoike, T. Niki. 226-235
- A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary ManagementJ. M. Choi, M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han, Yung Taek Kim. 236-245
- Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array SynthesisMasahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka. 246-255
- A Parallel Logic Simulator Based on Concurrent PrologYasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta. 256-265
- A Method of Representing Processes in a Constraint SolverIsao Nagasawa. 266-275
- KRIP: a Knowledge Representation System for Laws Relating to Industrial PropertyKatsumi Nitta, Juntaro Nagao. 276-286
- Consultation System for Diagnosis of Headache and Facial Pain: RHINOS Yasushi Matsumura, Takashi Matsunaga, Yusuke Maeda, Shusaku Tsumoto, Hiroshi Matsumura, Michio Kimura. 287-298
- Knowledge Realization and Transformation in KRISPIsao Sugiyai, Keiko Ishikawa. 299-311