邏輯程序設(shè)計語言Godel的說明性語義.pdf

1、Godel語言是繼Prolog語言之后出現(xiàn)的邏輯程序設(shè)計語言，它建立在多態(tài)多類的一階邏輯基礎(chǔ)之上，摒棄了Prolog語言中的非邏輯成分，集成了許多語言的有效成分和優(yōu)點(diǎn)，引入了類型系統(tǒng)，這使得它成為一種高效的說明性邏輯程序設(shè)計語言。然而，時至今日，Godel語言編譯系統(tǒng)的開發(fā)研究仍然進(jìn)展緩慢，主要原因是多態(tài)多類的類型系統(tǒng)、模塊化結(jié)構(gòu)、延遲計算、剪枝操作等多種新語言成分和機(jī)制的引入，使邏輯程序設(shè)計語言Godel的復(fù)雜程度大大提高，而面向過程

2、程序設(shè)計語言的編譯方法和技術(shù)完全不同于具有遞歸性、說明性特點(diǎn)的邏輯程序設(shè)計語言，先前關(guān)于Prolog語言的編譯方法和技術(shù)不能簡單移植和照搬，而理論基礎(chǔ)研究的滯后直接導(dǎo)致系統(tǒng)研究和開發(fā)進(jìn)展緩慢，迄今尚無新的進(jìn)展和系統(tǒng)開發(fā)成果報道。 為了促進(jìn)Godel語言的推廣以及深入研究，本文著眼于編譯系統(tǒng)的設(shè)計與實現(xiàn)，為Godel語言建立了嚴(yán)格的數(shù)學(xué)基礎(chǔ)，包括其語法和說明性語義理論，從而為其深入研究和編譯實現(xiàn)奠定了可靠的部分理論基礎(chǔ)。

3、鑒于傳統(tǒng)的一階邏輯語言的局限性，本文首先對傳統(tǒng)的一階語言進(jìn)行擴(kuò)展，引入類型，提出了類型一階語言，完整地給出了類型一階語言的語法定義.初步建立了帶類型的一階邏輯理論。論文針對類型一階語言中的Horn子集給出了Godel語言(子集)的語法部分。在此基礎(chǔ)上，給出了解釋或賦值的一般定義，然后討論在合理的解釋下類型合式公式的真假值判別法，并由此建立起帶類型的一階邏輯系統(tǒng)的模型。接著，利用類型一階語言的H-模型探討了Godel程序的形式化說明性語義