Abstract 

A parallel inference system provides the basic portion of the FGCS prototype 
system. The parallel inference system can efficiently solve, in parallel, symbolic 
and knowledge processing problems written in the kernel language, KL1. 

System Components 

The kernel language KL1 is a general-purpose concurrent logic programming 
language which has the descriptive power and functions needed to easily de-
scribe and solve symbolic and knowledge processing problems in parallel. 
PIMOS provides a KL1 programming environment in addition to conventional 
OS functions. 
The design of PIM hardware architecture is well-balanced to efficiently execute 
KL1 from a parallel machine point of view. 
The KL1 language processor is implemented with a low parallelization and 
decentralization overhead. 
At the application layer, adequate speedup is obtained by dynamic and static 
load distribution and speculative work. 





					- 8 -