1. Culture creation and a new generation computer system

   • Tosio Kitagawa

   Preface Pages: 105 - 106

2. Logic programming —Past, present and future—

   • J. A. Robinson

   Leading Article Pages: 107 - 124

3. The design and implementation of a personal sequential inference machine: PSI

   • Minoru Yokota
   • Akira Yamamoto
   • Shunichi Uchida

   Regular Papers Pages: 125 - 144

4. BUP: A Bottom-Up parser embedded in Prolog

   • Yuji Matsumoto
   • Hozumi Tanaka
   • Hideki Yasukawa

   Regular Papers Pages: 145 - 158

5. Inference methods based on extended dempster & Shafer’s theory for problems with uncertainty/fuzziness

   • Mitsuru Ishizuka

   Regular Papers Pages: 159 - 168

6. Modularization and abstraction in logic programming

   • Koichi Furukawa
   • Reiji Nakajima
   • Akinori Yonezawa

   Short Notes Pages: 169 - 177

7. An English-Japanese machine translation system using the active dictionary

   • Hozumi Tanaka
   • Hitoshi Isahara
   • Hideki Yasukawa

   Short Notes Pages: 179 - 185

8. Logic circuit synthesis using Prolog

   • Takao Uehara
   • Nobuaki Kawato

   Short Notes Pages: 187 - 193

9. Temporal logic based hardware description and its verification with Prolog

   • Masahiro Fujita
   • Hidehiko Tanaka
   • Tohru Moto-Oka

   Short Notes Pages: 195 - 203

10. URR: Universal representation of real numbers

    • Hozumi Hamada

    Short Notes Pages: 205 - 209

11. Calendar of events

    Announcement Pages: 211 - 212