E. Shapiro. Concurrent Proog: collected papers, volume 1, chapter A subset of Concurrent Prolog and its interpreter. M.I.T. Press, 1987.  Home/Search   Document Not in Database   Summary   Related Articles

....2: And Or Tree of parallel execution. To avoid having to compute the natural join of solutions from conjunctive sub goals solved in parallel, mode declarations can be used to specify that some sub goals will produce solutions that will be consumed by other subgoals. For example, Concurrent Prolog [38] has read only annotations ( using which we can write the grandfather clause as follows: grandparent(X,Y) parent(X,Z) parent(Z ,Y) This requires the first sub goal to produce Z and the second sub goal to read it. Similarly, PARLOG [10] has mode declarations on variables in the left hand ....

E. Shapiro. Concurrent Proog: collected papers, volume 1, chapter A subset of Concurrent Prolog and its interpreter. M.I.T. Press, 1987.

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