processor. This has proved the effectiveness and wide applicability of the programming language and environment. Programming in KL1 has also provided us with much higher productivity and parallel program maintenability than any conventional language.
  1. The methodologies of high-level knowledge representation and high-level inference mechanisms have enabled us to build intelligent systems, such as a legal reasoning system and a program generation expert system which have functions and performance significant for practical use. Some of these systems are actually using high-level inference mechanisms such as a rule-based reasoner backed up with the power of the parallel in- ference system. They have actually realized some sophisticated automated reasoning operations, which are leading-edge examples of transforming the high power of parallel processing into enhancement of the intelligence of expert systems.
  2. Our search for application problems to evaluate the FGCS prototype sys- tem naturally leads to exploration of the frontier of computer applications, an area unexplored by conventional technologies. The High-level knowledge information processing technologies will con- tinuously be applied to new fields such as legal reasoning, genetic infor- mation processing, automated program generation, and natural language processing. This will create many new application fields and interdisci- plinary research areas in the near future.
- 7 -