ABSTRACT 

KL1 is the "Kernel Language", based on Guarded Horn Clauses, which gave the 
design principles of the whole parallel inference system, from parallel inference 
machine hardware to application software. 

KEY FEATURES 


P.9 Figure 1
- 9 -