From the Abstract Engine to the KLND-ENGINE

This paper presents the abstract execution model of the base-instructions in the parallel inference system DPIS. The design of the parallel inference machineKLND-ENGINE is completed by mapping the abstract model to the oncrete machine.And this exemplifies the general approaches to the language-oriented architecture design.