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

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

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

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