1. Efficient computation control in concurrent logic languages

   • Ian Foster

   Regular Papers Pages: 1 - 21

2. OR-parallel evaluation of logic programs on a multi-ring dataflow machine

   • A. V. S. Sastry
   • L. M. Patnaik

   Regular Papers Pages: 23 - 53

3. Implementing expert system rule conditions by neural networks

   • Henry Tirri

   Regular Papers Pages: 55 - 71

4. Updating knowledge bases II

   • A. Guessoum
   • J. W. Lloyd

   Regular Papers Pages: 73 - 100

5. Implementation and analysis of compile-time gargage collection

   • Katsuro Inoue
   • Koji Torii

   Regular Papers Pages: 101 - 119