CONTENTS 

 1. Overview of The Fifth Generation Computer Systems Project  . . . . . . . . .   1
 2. Parallel Inference System  . . . . . . . . . . . . . . . . . . . . . . . . .   8
    * Parallel Logic Programming Language, KL1 . . . . . . . . . . . . . . . . .   9
    * Parallel Inference Machine Operating System, PIMOS . . . . . . . . . . . .  10
    * Parallel Inference Machine, PIM . . . . . . .  . . . . . . . . . . . . . .  11
    * KL1 Language Processor . . . . . . . . . . . . . . . . . . . . . . . . . .  12 
    * PIM Modules and Multi-PSI. . . . . . . . . . . . . . . . . . . . . . . . .  13
 3. A Diagnostic and Control Expert System Based on a Plant Model  . . . . . . .  19 
 4. Experimental Adaptive Model-Based Diagnostic System  . . . . . . . . . . . .  23
 5. Case-Based Circuit Design Support System . . . . . . . . . . . . . . . . . .  27
 6. Co-HLEX : Experimental Parallel Hierarchical Recursive 
    Layout System  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  31
 7. Parallel Cell Placement Experimental System  . . . . . . . . . . . . . . . .  35
 8. High Level Synthesis System : RODIN  . . . . . . . . . . . . . . . . . . . .  39
 9. co-LODEX : A Cooperative Logic Design Expert System  . . . . . . . . . . . .  43
10. Parallel LSI Router  . . . . . . . . . . . . . . . . . . . . . . . . . . . .  47
11. Parallel Logic Simulator . . . . . . . . . . . . . . . . . . . . . . . . . .  51
12. Protein Sequence Analysis Program 
    --- Multiple Sequence Alignment by Parallel Iterative Aligner ---  . . . . .  57
13. Model Generation Theorem Prover : MGTP . . . . . . . . . . . . . . . . . . .  63
14. Parallel Database Management System : Kappa-P  . . . . . . . . . . . . . . .  75
15. Knowledge Representation Language : Quixote  . . . . . . . . . . . . . . . .  81
16. A Parallel Legal Reasoning System : HELIC-II . . . . . . . . . . . . . . . .  87
17. Experimental Motif Extraction System . . . . . . . . . . . . . . . . . . . .  93
18. MENDELS ZONE : A Concurrent Program Development System . . . . . . . . . . .  97
19. Parallel Constraint Logic Programming System : GDCC  . . . . . . . . . . . . 101
20. Experimental System for Argument Text Generation : Dulcinea  . . . . . . . . 109
21. A Parallel Cooperative Natural Language Processing System : Laputa . . . . . 113
22. An Experimental Discourse Structure Analyzer . . . . . . . . . . . . . . . . 117