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

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

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

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

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