1. Proof of originality

   • Hideo Aiso

   Preface Pages: 1 - 2

2. Toward a new age of computing

   • Kazuhiro Fuchi

   Preface Pages: 3 - 4

3. A data-driven machine for OR-parallel evaluation of logic programs

   • Zahran Halim

   Regular Papers Pages: 5 - 33

4. MOLOG: A system that extends PROLOG with modal logic

   • Luis Fariñas Del Cerro

   Regular Papers Pages: 35 - 50

5. Sequential Prolog machine PEK

   • Yukio Kaneda
   • Naoyuki Tamura
   • Sadao Maekawa

   Regular Papers Pages: 51 - 66

6. A logic-based calculus of events

   • Robert Kowalski
   • Marek Sergot

   Regular Papers Pages: 67 - 95

7. Translating production rules into a forward reasoning Prolog program

   • Akira Yamamoto
   • Hozumi Tanaka

   Short Notes Pages: 97 - 105

8. Report on IJCAI-85

   • Takashi Yokomori

   Conference Reports Pages: 107 - 108

9. Report on the 11th International Conference on Very Large Data Bases

   • Kazuhiro Satoh

   Conference Reports Pages: 109 - 110

10. Calendar of events

    Events Pages: 111 - 112