1. Evolutional multiplication of software environments

   • Yutaka Ohno

   Preface Pages: 113 - 114

2. A deductive solution for plan generation

   • Wolfgang Bibel

   Regular Papers Pages: 115 - 132

3. Maximal unifiable subsets and minimal nonunifiable subsets

   • T. Y. Chen
   • J -L Lassez
   • G. S. Port

   Regular Papers Pages: 133 - 152

4. Computation of full logic programs using one-variable environments

   • Paul J. Voda

   Regular Papers Pages: 153 - 187

5. Specification and initialization of a logic computer system

   • Anthony J. Kusalik

   Regular Papers Pages: 189 - 209

6. Multiway merge with constant delay in Concurrent Prolog

   • Ehud Shapiro
   • Shmuel Safra

   Short Notes Pages: 211 - 216

7. “Generalized phrase structure grammar” by G. Gazdar, E. Klein, G. K. Pullum, and I. A. Sag

   • Takao Gunji

   Book Review Pages: 217 - 219

8. Calendar of events

   Events Pages: 220 - 221

9. Call for papers

   Announcement Pages: 222 - 222