在一個為邏輯程式設計的平行資料驅動機器上執行CUT 功能

Abstract

在本篇論文中，我們提出在一個為邏輯程式設計的資料流機器上實現CUT 述句及有邊 界效應(side-effect) 述句的方法。基本上，我們從AND 及OR兩方面來討論實現方法 的基本原則。我們將提出一個將此兩方面整合考慮而實現所要的功能的方法。 在AND 平行方面，子句(clause)中的子目的(subgoal) 被分成數個子群(subgroup)， 子群內各子目的可平行執行，而各個子群間為循序執行。這個方法惟持各個子群內的 平行性，故達到有限制的AND 平行性(restricted-AND parallelism)。 在OR平行性方面，各候選子句(candidate clauses) 被平行地執行。為了實現CUT 的 功能，當其中一個子句得到答案時，根據我們的方法，其它在證明樹(proof-tree)中 位於此子句右方的候選子句將被暫停執行。根據據這個方法，我們可以獲得部分的OR 平行性(partial OR-parallelism)。 在這篇論文中，我們也說明經由本方法得到的答案集與循序執行所得到的答案集是一 致的。這也說明了本方法的有效性(effectiveness) 。經由部分修改這個方法，我們 也可以實現其它有邊界效應的述句。我們利用一個例子，cavalier cut，來說明擴充 方式。