Classification of
ICOT Free Software
by
their languages



C and KL1
1. KL1 Programming Environment on Unix: PDSS
10. Dynamical Programming DP

PSL
2. Parallel and Distributed KL1 Language Processor: VPIM

ESP
3. KL1 Pseudo Parallel System for PSI-III
12. Nested Relational Database Management System: Kappa-II
15. Hierarchical Constraint Logic Programming Language: CHAL
19. Constraint Logic Programming Language: CAL in ESP
21. Knowledge Verification System: KNOV
23. Program Generation System: PAPYRUS
27. SAM - A Symbolic and Algebraic Manipulation System on PSI
28. Reasoning System: EUODHILOS
29. Fuzzy Clustering Tool
40. Linguistic Knowledge Description Language
41. The Syntactic Analyzer
45. Summarizing Support System
46. A Support System for Generating Controled Jpanese Text and Semantic Structures: ICOTEXT
48. Experimental Dialogue System with Pragmatics-based Utterance Selection Mechanism
49. Text Structure Analysis System
50. An Experimental Discourse Analyzer
52. Go Playing Game System "GOG"(The Sequential Version)

KL1
4. OS for Parallel Inference Machines: PIMOS
6. Experimental Reflective Programming System: ExReps
7. Programming Environment for KL1 with Program Visualization
13. Parallel Database Management System:Kappa-P
18. Parallel Constraint Logic Programming System: GDCC
22. Parallel Model Generation Theorem Prover: MGTP
30. Parallel Problem Solving System
32. A Structure-Mapping Engine: SME
42. Experimental System for Argument Text Generation: Dulcinea
51. A Parallel Processing Based Natural Language Analysis Tool: Laputa
54. A Parallel Leagal Reasoning System: HELIC-II
62. KL1 Execution Data Collecting Tool: PerformanceMonitor
63. Combined Constraint solver: Consort
65. Experimental Parallel Hierarchical Recursive Layout System: Co-HLEX
66. A Cooperative Logic Design Expert System
67. Experimental Adaptive Model-based Diagnostic System
68. Experimental Sequence Analysis System
69. Case-Based Circuit Design Support System
70. High Level Synthesis System: RODIN
71. A Diagnostic and Control Expert System based on a Plant Model
73. Process oriented programming language AYA
74. KL1 Load Distribution Library
75. Multiple Sequence Alignment by Parallel Iterative Aligner
83. Protein Motif Knowledge-Base and Retriever Based on QUIXOTE
84. Protein Structure Prediction Based on Multi Level Description
86. Distributed Pool
90. MGTP/G (KL1 version/KLIC version)
91. MGTP/N (Model Distribution)
92. Constraint MGTP (Prolog version/KL1 version/KLIC version)
94. Multiple Sequence Alignment by Genetic Algorithm
95. Multiple RNA-Sequence Alignment Considering Stem Regions
100 Legal reasoning system: new HELIC-II

C++
5. A Concurrent Object-oriented Language: A'UM-90
77. Protein Structure Visualization System: Protein-View

KL1 and ESP
8. Strategy Management Shell
11. Knowledge Representation Language: QUIXOTE
31. Argus Verification System: Argus/V
39. Parallel Parsing System: PAX
53. Go Playing Game System "GOG"(The Parallel Version)
55. Multiple Sequence Alignment by 3-dim DP
56. Multiple Sequence Alignment by Parallel Simulated Annealing
57. Standard Cell Placement Experimental System
58. LSI Routing Program
59. Parallel Logic Simulator
60. Group Problem Solving System for Task Allocation Problems
61. A Concurrent Program Development System: MENDELS ZONE
64. Design support system based on qualitative reasoning: Desq

C and Prolog
72. Portable KL1 processing system:experimental version
78. KLIC version 1: An implementation of KL1 for general purpose computers

C
9. CLP Language: cu-Prolog
33. Morphological Dictionary for Japanese
80. Knowledge Representation Language: micro-QUIXOTE
85. KLIC version 2: An implementation of KL1 for general purpose computers
89. Heterogeneous Distributed Cooperative Problem-Solving System: Helios
97. Successive State Splitting of Protein Hidden Markov Network
98. DNA Sequence Analysis using Discriminant Analysis
99. DNA Sequence Analysis using Hidden Markov Model and Genetic Algorithm

Common ESP
14. Constraint Logic Programming Language: CAL in CESP
36. A Sentence Retrieval Tool: KWIC(on CESP)
37. Morphological Analyzing Program
38. Grammar Writing Support System: LINGUIST
43. Japanese Sentence Generator
44. A Sentence Dividing Tool
47. A Sentence Retrieval Tool: KWIC(on ESP)

GDCC
16. Robot Design Support System
17. Hierarchical Constraint Parallel Solver: P-CHAL
20. Voronoi Diagram Construction Program

KLIC
79. Knowledge Representation Language: QUIXOTE KLIC version
87. Parallel Database Management System: Kappa (KLIC version)
88. Parallel Constraint Logic Programming System: GDCC(KLIC version)
90. MGTP/G (KL1 version/KLIC version)
91. MGTP/N (Model Distribution)
92. Constraint MGTP (Prolog version/KL1 version/KLIC version)

PROLOG
24. Boyer-Moore Theorem Prover: BMTP
25. Forward Chaining Inference System: KORE/IE
26. Functional Language: QUTE
34. LUG & Grammar rules(A grammar descriptive framework and the grammar rules written in the form)
35. Dependency Grammar for Japanese:RDG
81. Parallel Theorem Prover: MGTP/G Prolog Version
82. Parallel Theorem Prover: MGTP/N Prolog Version
92. Constraint MGTP (Prolog version/KL1 version/KLIC version)

KL1 and C
76. Intelligent Refiner for Multiple Sequence Alignment
93. Multiple Sequence Alignment by Parallel Iterative Improvement Methiod (KLIC version)

QUIXOTE
96. Knowledge Base of Biological Reactions