M.B. Carvalhosa. Design and implementation of an abstract machine for Delta Prolog. Master's thesis, Universidade Nova de Lisboa, Departamento de Inform'atica, 1991. in portuguese.  Home/Search   Document Not in Database   Summary   Related Articles

....by backtracking. 3.3.3 The coroutining algorithm In this section we describe the implementation of a sequential execution model for DeltaP programs. We have experimented with two different approaches: a Prolog interpreter based approach and a compiler plus abstract machine based approach [Car91]. Both techniques use a coroutining control strategy based on a depth first search of the derivation space by a single executor. They also rely upon the notion of top of the resolvent [Mon83] which is reviewed below. The existence of the split goals and the comma operator induce a partial order ....

....distributed memory multi computer (Meiko Computing Surface) 4. 1 Implementation layers We have defined an abstract machine for DeltaP (called the DAM) by starting with a Prolog abstract machine, the WAM [War83] and extending it with the internal structures and mechanisms to support DeltaP [Car91]. In this approach, an existing Prolog compiler to the WAM is modified in order to generate code for the new instructions when DeltaP goals are involved. A two layered system was designed: ffl a language level, supporting the abstractions for the DeltaP operational model, namely logical ....

M.B. Carvalhosa. Design and implementation of an abstract machine for Delta Prolog. Master's thesis, Universidade Nova de Lisboa, Departamento de Inform'atica, 1991. in portuguese.

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