mula, algebraic constraints or logical constraints have been developed and 
provided as a knowledge representation language, Quixote and a paral-
lel constraints logic language, GDCC. These greatly improve efficiency 
and enhance freedom in describing various useful knowledge information 
existing in our social systems and in translating them into computer un-
derstandable forms. 

A high-level knowledge base management system, Quixote, has been de-
signed based on the deductive and object-oriented database and imple-
mented on top of a parallel nested relational database system, Kappa-P. 

The Quixote and Kappa-P systems enable us to use high-level description 
and to handle large capacities of knowledge and data. These systems are 
the largest systems actually built on a parallel system using a parallel 
language. 

Both of these systems have been built on the parallel inference system, 
with their effectiveness and evaluated using practical biological informa-
tion databases. 

The basic technologies of high-level inference mechanisms have been de-
veloped. Some of them are provided as useful software tools which are 
indispensable for building intelligent application systems making full use 
of knowledge bases described in logical forms. 

A parallel theorem prover, MGTP, is one of the software tools which are 
supported by the sufficient symbol processing power of the parallel in-
ference system. These technologies and tools enable us to improve the 
intelligence level of application systems more effectively than any conven-
tional tool. 


Practical system evaluation and exploration of new application fields 


The comfortable programming environment provided by KL1 and PIMOS 
has enabled us to exploit sufficient parallelism in many knowledge and 
symbol processing application problems. Most parallelism is derived from 
the irregular computational structures of the problems. Thus, they had 
never before been exploited by any conventional programming methodol-
ogy. 

The parallel processing of the problems has successfully attained process-
ing speeds several dozens to hundreds of times faster than that of a single 



					- 6 -