Recently, RISC (Reduced Instruction Set Computer) has been widely and successfullyused in many high-performance, general-purpose computer systems.On the other hand,symbolic manipulation and logic inferences have also been attractive and have played an important role in various application areas of artificial intelligence. How to design a high performance inference engine based on an RISC-type machine has, thus, become an exciting research trend in computer system design area. In this paper, we will introduce a new OR-parallel inference model based on a multi-RISC-style processing system, called MIEP (Multiple Inference Engine for Prolog), to execute prolog programs efficiently. Our model consists of two main parts. One is forward execution and the other is backward execution algorithms. We also design an intelligent backtracking technique to speed up the backward execution. To evaluate the performance of our OR model on the MIEP system, several benchmark programs are compiled and then executed by the simulato. The results show that our method has a very good speed up scaling-factor within 16 processors. The detailed description of our model and its evaluation will be given. In addition, some interesting future works are also introduced at the end of the paper.