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
- Allows easy description of fine-grain parallel processing, dividing the whole
task into small subtasks.
- Used throughout the system, from the operating system to application soft-
ware.
- Clear separation of program meaning from program processing, making load
distribution much easier.
- The same language is used in all models of PIM, providing high software
portability.
- 9 -