4. LP 1985: Tokyo, Japan

Eiiti Wada (Ed.): Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985. Lecture Notes in Computer Science 221 Springer 1986, ISBN 3-540-16479-0 BibTeX

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