1. Knowledge and service

   • Hajime Enomoto

   Preface Pages: 129 - 130

2. The BC-chain method for representing combinators in linear space

   • Kohei Noshita
   • Teruo Hikita

   Regular Papers Pages: 131 - 144

3. Bounded buffer communication in Concurrent Prolog

   • Akikazu Takeuchi
   • Koichi Furukawa

   Regular Papers Pages: 145 - 155

4. Internal consistency in plausible reasoning systems

   • J. R. Quinlan

   Regular Papers Pages: 157 - 180

5. The MUSE machine—An architecture for structured data flow computation

   • David F. Brailsford
   • R. James Duckworth

   Regular Papers Pages: 181 - 195

6. Architecture of a Reduction-Based Parallel Inference Machine: PIM-R

   • Rikio Onai
   • Moritoshi Aso
   • Akira Matsumoto

   Regular Papers Pages: 197 - 228

7. “Foundations of logic programming” by J. W. Lloyd

   • M. H. van Emden

   Book Review Pages: 229 - 229

8. Report on the Workshop on Object-Oriented Computing

   • Norihisa Suzuki

   Conference Report Pages: 230 - 231

9. Calendar of events

   Events Pages: 232 - 233

10. Announcement

    Announcement Pages: 234 - 234