K. Shimada, H. Koike and H. Tanaka UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. In Proc. of the International Conference on Fifth Generation Computing Systems, 715-722, 1992. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
LI-Engine: A New Sequential Control Model for Prolog - Li, Yao (Correct)
....In the last ten years, many architectures for logic programming have been proposed. Exploitation of architectural support for Prolog like languages takes one of two main paths: compiler based or interpreter based. Compiler based architectures, such as PLM[1] HPM[2] PSI II[3] and UNIREDII [4], adopt special purpose processors which execute WAM like instructions[5] In these systems, a logic program 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, ....
K. Shimada, H. Koike and H. Tanaka UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. In Proc. of the International Conference on Fifth Generation Computing Systems, 715-722, 1992.
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