M. Yokota, A. Yamamoto, K. taki, H. Nishikawa, S. Uchida, K. Nakajima and M. Mitusi. A Microprogrammed Interpreter for The Personal Sequential Inference Machine. In Proc. of the International Conference on Fifth Generation Computing Systems, 410-418, 1984.  Home/Search   Document Not in Database   Summary   Related Articles

....must be compiled to generate intermediate WAM code or native machine code. The resulting program directly manifests the control aspect of the logic program, blends searching, backtracking, unification and memory management together. On the other hand, interpreterbased architectures, such as PSI I[6] and PEK[7] implement logic inference procedure in firmware. These machines take a Prolog program (or in some internal form) as input, answer user s queries in the interpretation manner. The microprogrammed interpreters are similar to an earlier milestone Prolog implementation, the DEC 10 Prolog ....

....DEC 10 Prolog system. They involve sophisticated stack manipulation and control optimization to simulate the goal stacking computational model of logic programming. For example, the size of PSI kernel microinterpreter is about 1. 5k steps, half of which are for control and the rest for unification[6]. Although recent concurrent logic programming research stimulates the development of parallel architectures, such as Multi PSI[8] PIM s[9] Andorra I[10] and CARMEL s[11] these systems are essentially constructed by connecting sequential logic processors through communicating networks. It is ....

[Article contains additional citation context not shown here]

M. Yokota, A. Yamamoto, K. taki, H. Nishikawa, S. Uchida, K. Nakajima and M. Mitusi. A Microprogrammed Interpreter for The Personal Sequential Inference Machine. In Proc. of the International Conference on Fifth Generation Computing Systems, 410-418, 1984.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC