本文主要係設計一特殊硬體架構，以提高PROLOG程式執行之效能。
傳統的各種提高PROLOG機器效能的方法於文中敘述，由於PROLOG中一致化（unifica-
tion）與解參考值（dereference ）等基本動作係為影響執行速度之主要因素，本文
特別別提出一種標籤型處理器來改善這些基本動作的效率，進而改善整體PROLOG程式
執行之效能。
為了能利用現有的非標籤型處理器來完成快速標籤處理動作之硬體，文中亦提出了一
般處理器必須附加之硬體與控制機構，並以MC６８０００處理器為例，說明之。此種
方法可在現有的von-Neumann 型處理器上快速實現之。而據我們估計的結果，本架構
可以比傳統純軟體方式大約節省總執行時間的１７％。
|