Abstract
邏輯程式語言目前巳廣泛地使用在各不同的領域，諸如編譯器撰寫，線路設計，自然語言及專家系統等方面。與傳統的程式語言比較，PROLOG可說是有一種新的程式撰寫方式，它可以將構想很容易付諸實現，成為一個可執行的程式，亦就是把傳統程式語言的設計與撰寫兩階段結合為一。此外它的語意也很適合用在並行處理，並不侷限於順序執行。在清華大學我們設計與製作了一個PROLOG的翻譯器，由於PROLOG的兩個特性一統一化樣型匹配（pattern matching through unification）與不確定性（non-deterministism）。所以其翻譯器之製作重點在於如何有效在控制其計算過程與搜尋空間，也就是如何在PROLOG的樹狀結構搜尋空間上維持各不同程序間的統一化，與其變數間的連結及當統一化失敗時所產生的回索。我們利用了兩個堆疊解決這些基本問題，並採用結構共享的技術避免有限的記憶空間浪費，而且採用追蹤與記錄的方式達成廢料收集。此外，提供設定術語（built-in prredicates）給程式撰寫者使用。