超立方體MIEP系統上的CUT 及其它考慮

Abstract

超立方體MIEP (Hypercube MIEP) 系統是專門處理Prolog語言的人工智慧型多處理機 系統。它以-32 位元、RISC型處理機-LISCP-Ⅱ(Limited Instruction Set Computer for Prolog version Ⅱ) 做為每個處理單元PIER(Prolog Inference Engine on RI SC) 模組中之核心處理機，以處理有關物件比對、邏輯推理等動作；此外，整個超立 方體MIEP系統以一超立方體通訊綱路負責各PIER模組之間的訊息傳遞。 在Prolog語言中，cut 指令是非常有用的一個指令，它可以用來避免執行不必要的回 溯動作，藉以加速程式之執行速度以及系統的執行效能。本論文之目的即在說明為了 考慮整個系統之完整性而實現Prolog語言中之cut 指令於超立方體MIEP系統時，所將 遭遇到的困難以及我們所提出的解決方法；此外，在本論文中我們並對設計超立方體 MIEP系統之編譯器時所做的一些考慮提出加以說明之。