(3.235.25.169) 您好!臺灣時間:2021/04/20 01:59
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:郭鈞宗
研究生(外文):Kuo, Jiun-Chung
論文名稱:類型化邏輯程式規劃TypedLogicProgramming
指導教授:林一鵬林一鵬引用關係
指導教授(外文):LIN, YI-PENG
學位類別:碩士
校院名稱:國立臺灣大學
系所名稱:資訊科學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1986
畢業學年度:74
語文別:中文
中文關鍵詞:類型化邏輯程式邏輯程式語言邏輯程式
外文關鍵詞:TYPED-LOGIC-PROGRAMMING
相關次數:
  • 被引用被引用:0
  • 點閱點閱:138
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
PROLOG 是個典型的邏輯式語言,但它缺乏資料類型的概念,導玫了一些使用上的不
便及奇怪的程式結果。我們將此程式語言加以擴充修正,而將資料類型的概念引入邏
輯程式規化的領域中,而設計出一個類型化的邏輯程式語言,稱作TYPLOG。
在TYPLOG中,我們採用格的結構來組織資料類型,此種結構易於描述在實際問題中各
型資料間的關係。由於TYPLOG是嚴謹的類型化語,所以在一個邏輯程式中所用到的各
個符號,包括變數、常數、函數、述語等,都必須事先宣告其相關的資料類型,以供
編譯器運用來判定該程式是否合於文法要求。
由於我們以格的方式來組織資料類型,藉此結構的幫助,我們可以在邏輯程式中對於
其中函數的意義稍為加以描述,這點在原來的PROLOG上是辦不到的。另外在查詢的回
答上,變數所屬的資料類型可提供對該項回答更深入的了解。故資料類型在TYPLOG中
不只提供了一層程式正確性的檢查功能,便在描述問題及程式規劃中扮演了重要的角
色。
在文中我們首先列舉一些在PROLOG中由於缺乏資料類型所造成的缺失,然後說明我們
在設計TYPLOG所做的一些抉擇。再以嚴謹而形式化的方式定義各項類型化邏輯程式規
化所引發的觀念,並提出一個同一化算則以針對TYPLOG之特殊需要。就語意上而言,
對宣告型語意,我們將赫本德釋意加以修正,以涵蓋類型領域的概念;對程序型語意
,我們仍採用SLD - 化解法,不過同一化的定義已加以修正。在文中我們證明此二型
語意是完全一致的,一如原先在PROLOG然。

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔