1. Application-specific shell

   • Norihisa Suzuki

   Preface Pages: 317 - 318

2. A knowledge representation and inference system for procedural law

   • Katsumi Nitta
   • Juntaro Nagao
   • Tetsuya Mizutori

   Regular Papers Pages: 319 - 359

3. A method for efficiently executing horn clause programs using multiple processors

   • W. F. Clocksin
   • H. Alshawi

   Regular Papers Pages: 361 - 376

4. Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs

   • Masato Takeichi

   Regular Papers Pages: 377 - 391

5. An execution model for exploiting AND-parallelism in logic programs

   • Yow-Jian Lin
   • Vipin Kumar

   Regular Papers Pages: 393 - 425