AN AND-PARALLEL COMPUTATIONAL MODEL AND ITS ABSTRACT MACHINE FOR THE PARALLEL EXECUTION OF FUNCTIONAL LOGIC LANGUAGE
Jongho Nang, S.R. Maeng · International Journal of High Speed Computing · 1992
In this paper, we propose a parallel computational model, called (Parallel Resolution and Reduction with RAP), and its abstract machine for a functional logic language whose main execution is based on both of the resolution and lazy reduction. Since the parallel reductions of the function arguments can be regarded as a parallel evaluation of independent subgoals, only Independent-And Parallelism is exploited in in order to simplify the execution control of Lazy Aflog program. is an extension of DeGroot's RAP model [5] equipped with the mechanisms to support parallel function reductions. A parallel abstract machine for based on the RAP-WAM [6] is also developed, which is an extension of sequential abstract machine FWAM-II equipped with the run-time structures and the primitive instructions to spawn the parallel tasks and gather the results. Simulation results show that both of the parallel resolution and parallel lazy reduction can be efficiently supported in the and its abstract machine simultaneously.