Title: | 針對Prolog語言而設計的一個AND 平行執行模式之研究 Study and design of a new AND-parallel execution model for prolog |
Authors: | 許湧銘 Xu, Yong-Ming 陳正 傅心家 鍾崇斌 Chen, Zheng Fu-Xin, Jia Zhong-Chong, Bin 資訊科學與工程研究所 |
Keywords: | Prolog語言;平行執行模式;AND 平行執行模式;靜態分析;前向執行;迴向執行;電腦;資訊科學;PROLOG 語言;PROLOG-LANGUAGE;FORWARD-EXECUTION;BACKWARD-EXECUTUION;COMPUTER;INFORMATION |
Issue Date: | 1987 |
Abstract: | 近年來 Prolog 語言的平行處理普遍引起重視,而其中 AND平行執行模式是各方探討 的主題之一。本篇論文的主要目的是在探討並發展一套新的 AND平行執行模式以有效 平行處理 Prolog 語言。此執行模式的主要特點如下﹕(1) 對於 Prolog 原始程式不 需要加入任何的註解符號,而能在執行時達到最大的 AND平行度,以消除任何使用者 的負擔。(2) 儘量在程式編譯時對程式做靜態分析,而產生有用的資訊做為程式執行 的參考,以減低程式執行的額外負擔。(3) 當 backtracking 發生時,能夠選擇最適 當的 redo clause,使 backtracking 的成本減低而且不會遺漏任何答案。 因此,本論文中,針對前向執行 ( Forward Execution )與迴向執行 ( Backward Ex ecution ) ,分別提出了二個與三個的演算法,以不同的觀念與理念來完成 Prolog 之 AND平行處理方式,在文中我們對各方法之觀念原理步驟以及初步的效能分析均有 具體之闡釋,因此本論文之概念與研究成果,可供未來此方面研究者之參考。 |
URI: | http://140.113.39.130/cdrfb3/record/nctu/#NT764241004 http://hdl.handle.net/11536/53555 |
Appears in Collections: | Thesis |