Z. Halim, I. Watson, "An OR-Parallel Data-driven Model for Logic Programs", Proc. of International Workshop on High-Level Computer Architecture, 1984, pp. 26-36 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Dataflow Computation for Knowledge-Based Control of Autonomous.. - Burg (Correct)
....called Homogenous Processor Space, but, since the structure of a Prolog program is mapped closely onto a graph structure without changing Prolog s evaluation mechanism, the model finally comes out with demand driven computation instead of data driven computation. By another approach Z. Halim [17, 18] made a step towards data driven evaluation. His more complicated graph allows for unidirectional flow of data. However, the drawback is, that the graphs are derived directly from the syntactical structure of Prolog and thus still lack from efficiency. Similar, even more complex dataflow models ....
Z. Halim, I. Watson, "An OR-Parallel Data-driven Model for Logic Programs", Proc. of International Workshop on High-Level Computer Architecture, 1984, pp. 26-36
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