1. Preface for the special issue

   • Kazunori Ueda
   • Takashi Chikayama

   Special Issue Pages: 199 - 200

2. Sequential architecture models for Prolog: A performance comparison

   • Mark Korsloot
   • Hans Mulder

   Special Issue Pages: 201 - 219

3. High performance Prolog on a RISC

   • Andrew Taylor

   Special Issue Pages: 221 - 232

4. The &-Prolog system: Exploiting independent and-parallelism

   • M. V. Hermenegildo
   • K. J. Greene

   Special Issue Pages: 233 - 256

5. Incremental search in Constraint Logic Programming

   • Pascal Van Hentenryck
   • Thierry Le Provost

   Special Issue Pages: 257 - 275

6. Logical diagnosis ofLDL programs

   • Oded Shmueli
   • Shalom Tsur

   Special Issue Pages: 277 - 303

7. The derivation of an algorithm for program specialisation

   • John Gallagher
   • Maurice Bruynooghe

   Special Issue Pages: 305 - 333

8. Acyclic programs

   • Krzysztof R. Apt
   • Marc Bezem

   Special Issue Pages: 335 - 363

9. Classical negation in logic programs and disjunctive databases

   • Michael Gelfond
   • Vladimir Lifschitz

   Special Issue Pages: 365 - 385

10. Logic programs with exceptions

    • Robert A. Kowalski
    • Fariba Sadri

    Special Issue Pages: 387 - 400

11. Stable semantics for disjunctive programs

    • Teodor C. Przymusinski

    Special Issue Pages: 401 - 424

12. A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics

    • François Fages

    Special Issue Pages: 425 - 443

13. Linear objects: Logical processes with built-in inheritance

    • Jean-Marc Andreoli
    • Remo Pareschi

    Special Issue Pages: 445 - 473

14. New Models for Software Architecture project

    • Hideyuki Nakashima

    News Pages: 475 - 477

15. Announcement

    Announcement Pages: 478 - 478