1. Guest editors’ preface

   • Koichi Furukawa
   • Makoto Amamiya
   • David H. D. Warren

   Preface Pages: 85 - 87

2. The languages FCP(:) and FCP(:,?)

   • Eyal Yardeni
   • Shmuel Kliger
   • Ehud Shapiro

   Special Issue Pages: 89 - 107

3. A logic programming language based on the Andorra model

   • Seif Haridi

   Special Issue Pages: 109 - 125

4. A’UM —A stream-based concurrent object-oriented language—

   • Kaoru Yoshida
   • Takashi Chikayama

   Special Issue Pages: 127 - 157

5. A new external reference management and distributed unification for KL1

   • Nobuyuki Ichiyoshi
   • Kazuaki Rokusawa
   • Yu Inamura

   Special Issue Pages: 159 - 177

6. A load balancing mechanism for large scale multiprocessor systems and its implementation

   • Yasutaka Takeda
   • Hiroshi Nakashima
   • Kazuo Taki

   Special Issue Pages: 179 - 195

7. CARMEL-2: A second generation VLSI architecture for Flat Concurrent Prolog

   • Arie Harsat
   • Ran Ginosar

   Special Issue Pages: 197 - 218

8. A wide instruction word architecture for parallel execution of logic programs coded in BSL

   • Kemal Ebcioĝlu
   • Manoj Kumar

   Special Issue Pages: 219 - 242

9. The Aurora or-parallel Prolog system

   • Ewing Lusk
   • Ralph Butler
   • Bogumil Hausman

   Special Issue Pages: 243 - 271

10. An abstract interpretation scheme for identifying inherent parallelism in logic programs

    • Arvind K. Bansal
    • Leon S. Sterling

    Special Issue Pages: 273 - 324

11. Compile-time granularity analysis for parallel logic programming languages

    • E. Tick

    Special Issue Pages: 325 - 337