G_del語言編譯系統(tǒng)的設(shè)計與實現(xiàn).pdf

1、G(o)del語言是繼Prolog語言之后出現(xiàn)的新型說明性通用邏輯程序設(shè)計語言。它建立在多態(tài)多類的一階邏輯基礎(chǔ)之上，摒棄了Prolog語言中的非邏輯成分，集成了許多語言的有效成分和優(yōu)點，引入了類型系統(tǒng)，增加了新的語言成分，這使得它成為一種功能強大的高效的說明性邏輯程序設(shè)計語言。作為一種工具，G(o)del語言編譯系統(tǒng)的實現(xiàn)對該語言的推廣、深入研究，以及人工智能的研究和智能軟件系統(tǒng)的開發(fā)具有重要意義。目前，只有Bristol大學的研究小組

2、用SICStus Prolog通過將G(o)del語言程序翻譯成Prolog語言的程序?qū)崿F(xiàn)了G(o)del語言的一個編譯系統(tǒng)。但是，由于Godel語言程序在翻譯成Prolog語言程序后，其執(zhí)行仍然只能通過SICStus Prolog系統(tǒng)解釋執(zhí)行，其執(zhí)行效率較低且只能在Linux環(huán)境下運行，而且僅僅實現(xiàn)了G(o)del語言的一個子集。 本文提出了G(o)del語言編譯系統(tǒng)的一種實現(xiàn)方法：該方法編譯的程序在執(zhí)行時繼續(xù)沿用反駁-消解原

3、理，但對源程序只編譯到中間代碼(內(nèi)部表示)，然后與事先設(shè)計好的具有動態(tài)推理功能的推理機連接，形成目標代碼。這種中間代碼具有面向G(o)del語言的特點，是在整體理解源程序過程性語義的基礎(chǔ)上，按照推理機執(zhí)行過程對數(shù)據(jù)對象的使用要求，表達源程序的數(shù)據(jù)對象，然后作為某個特定程序(即作為內(nèi)核程序推理機)的輸入，兩者連接后生成目標代碼。目標代碼的執(zhí)行中借助推理機程序?qū)χ虚g代碼的執(zhí)行處理，就可完成程序的計算。這是與Bristol G(o)del系統(tǒng)

4、實現(xiàn)的技術(shù)路線完全不同的一種實現(xiàn)方法?；谶@樣的實現(xiàn)方法，我們給出了編譯系統(tǒng)的總體結(jié)構(gòu)，并對編譯分析系統(tǒng)中的詞法分析、語法分析、語義分析、中間代碼生成和出錯處理等各部分的實現(xiàn)方法和技術(shù)進行了詳細的介紹，著重討論了一種適合于邏輯程序設(shè)計語言的優(yōu)化的語義分析方法。同時，我們將類型系統(tǒng)作為G(o)del語言編譯系統(tǒng)一個獨立的子系統(tǒng)，要求它具備在程序動態(tài)執(zhí)行過程中為推理機提供各種必要的數(shù)據(jù)準備，這在邏輯程序設(shè)計語言的編譯系統(tǒng)實現(xiàn)中是一種新的技術(shù)