登入選單

返回Google圖書搜尋

Initial Evaluation of an OR Parallel Execution Model for Horn Clause Programs

Milton Wong

出版	Royal Institute of Technology, Department of Telecommunication Systems-Computer Systems, 1988
URL	http://books.google.com.hk/books?id=Ej4jMgAACAAJ&hl=&source=gbs_api

註釋

Abstract: "Khayri A.M. Ali has proposed a model for OR parallel execution of Horn clause programs based on Warren's abstract machine (WAM) and shared control information. In this model, the shared memory only contains control information that guides processors requesting a job to independently construct the environment required to get a new job. Each processor has a local memory containing its own binding environment. The author of this report has implemented Ali's model using SICStus Prolog, a sequential Prolog system developed at the Swedish Institute of Computer Science (SICS), and a set of macros developed at Argonne National Laboratory for managing parallel processes on multiprocessor systems. Several modifications and additions to the model have been made by the author, e.g. to implement sequential predicates and cut.