1. Poking the Giant’s Eye Out

   • Doug Degroot

   Preface Pages: 303 - 304

2. Guest editor’s preface

   • Ehud Shapiro

   Special Issue Pages: 305 - 308

3. The occur-check problem in Prolog

   • David A. Plaisted

   Special Issue Pages: 309 - 322

4. Towards a pipelined Prolog processor

   • Evan Tick
   • David H. D. Warren

   Special Issue Pages: 323 - 345

5. On implementing Prolog in functional programming

   • Mats Carlsson

   Special Issue Pages: 347 - 359

6. Efficient Prolog memory management for flexible control strategies

   • David Scott Warren

   Special Issue Pages: 361 - 369

7. A Prolog technology theorem prover

   • Mark E. Stickel

   Special Issue Pages: 371 - 383

8. A knowledge assimilation method for logic databases

   • Taizo Miyachi
   • Susumu Kunifuji
   • Haruo Yokota

   Special Issue Pages: 385 - 404

9. Calendar of events

   Events Pages: 405 - 406