| 105 | -- | 106 | Tosio Kitagawa. Culture Creation and a New Generation Computer System |
| 107 | -- | 124 | John Alan Robinson. Logic Programming - Past, Present and Future |
| 125 | -- | 144 | Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida. The Design and Implementation of a Personal Sequential Inference Machine: PSI |
| 145 | -- | 158 | Yuji Matsumoto, Hozumi Tanaka, Hideki Hirakawa, Hideo Miyoshi, Hideki Yasukawa. BUP: A Bottom-Up Parser Embedded in Prolog |
| 159 | -- | 168 | Mitsuru Ishizuka. Inference Methods Based on Extended Dempster & Shafer s Theory for Problems with Uncertainty/Fuzziness |
| 169 | -- | 177 | Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa. Modularization and Abstraction in Logic Programming |
| 179 | -- | 185 | Hozumi Tanaka, Hitoshi Isahara, Hideki Yasukawa. An English-Japanese Machine Translation System Using the Active Dictionary |
| 187 | -- | 193 | Takao Uehara, Nobuaki Kawato. Logic Circuit Synthesis Using Prolog |
| 195 | -- | 203 | Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka. Temporal Logic Based Hardware Description and Its Verification with Prolog |
| 205 | -- | 209 | Hozumi Hamada. URR: Universal Representation of Real Numbers |