《PROLOG語言，它的套用與實現》是1990年科學出版社出版的圖書，作者是劉椿年。
《PROLOG語言，它的套用與實現》是1990年科學出版社出版的圖書，作者是劉椿年。內容簡介本書介紹了邏輯程式設計語言PROLOG的特性。理論基礎、程式設計方法、以及PROLOG語言在人工智慧和軟體工程方面的套用與實現技...
PROLOG語言是一種邏輯型程式設計語言。其特點是能像人腦那樣自動地進行邏輯推理。它具有自動搜尋、遞歸、回溯、模式匹配等獨特功能，它奇特、優美的程式設計風格，博得了人們的稱讚它的套用非常廣泛，適用於定理證明、非數值處理、套用管理、關係資料庫、諮詢程式、自然語言處理、專家系統和人工智慧等許多領域。《PROLOG語言...
Prolog實際上就是一種基於逆向規則的演繹推理技術，只不過對規則和目標的表示有嚴格的限制．再加上演繹推理控制機制自身的簡單性，難以適用於複雜的套用域。Prolog語言的基本概念 Prolog語言的基本成分是Horn子句，表示為如下形式： ∧ ∧ ∧ p；Prolog語言中，Horn子句以3種形式去分別表示逆向演繹推理中問題求解...
目前Prolog語言已廣泛套用於關係資料庫、抽象問題求解、數理邏輯、符號處理、定理證明、自然語言理解、專家系統以及人工智慧的許多領域。在國內流行的Prolog語言主要版本有：純Prolog、Prolog II、Arity Prolog、Wisdom Pmlog、Micro Prolog、PDC(Turbo，Visual) Prolog、SWI Prolog、B-Prolog、Dec一10 Prolog、MP Pmlog、...
Prolog的第一個實現——Alain Colmerauer和Phillip Roussel的功勞。1974 另一個COBOL的ANSI規範出現。1975 Tiny BASIC，由Bob Albrecht和Dennis Allison設計（由Dick Whipple和John Arnold實現），運行在2KB記憶體的微型計算機上。一台4KB的機器是較為合適的，它將有2KB的記憶體套用於這個程式上。Bill Gates和Paul Allen...
Prolog語言是為處理人工智慧中也是大量出現的邏輯推理問題(首先是為解決自然語言理解問題)而設計的。它的理論基礎是一階謂詞演算(首先是它子集Horn子句演算)的消解法定理證明，其計算能力等價於LISP。OPS5面對的問題也是邏輯推理。不過PROLOG是向後推理，OPS5是向前推理。OPS5的理論基礎是Post的產生式系統，其計算能力...
這種語言是法國馬賽大學的A．Colrnerauer 和P．Roussel 1972年推出的，由於它實現簡化的謂詞演算所以是一種真正的邏輯性語言。第一個成功的PROLOG編譯程式是在英國的愛丁堡大學開發的。在日本及在匈牙利等歐洲國家，PROLOG都得到了較為廣泛的套用，就象LISP在美國一樣。PROLOG已繁衍成一種語族並在世界各地流行。已有若干...
因此，程式設計不僅要求精通語言，更要求對套用本身有所了解，掌握計算機中對常用套用問題進行處理的一些基本方法及其按控制邏輯進行組合的思維方法。從本質上看，程式設計的學習不僅是技術的學習，更是思維的培養。程式設計語言的套用領域 彙編語言：是為特定的計算機或計算機系統設計的面向機器的語言，彙編語言的語句可分...
高級語言由一般語言，經結構化語言，現發展到了面向對象語言，如c++、Java等。除了上述的過程語言外，還出現了函式程式設計語言。為了使計算技術有效地為人工智慧服務，邏輯程式設計語言也展現出了新的面貌，出現了LISP、Prolog語言，稱之為非過程化語言。非過程化語言只需要描述要做什麼或需要什麼．而無需描述怎樣做或...
而PROLOG程式的執行則通過使用只有句體的horn子句並以詢問的方式來實現.用 PROLOG語言編程包括:規定操作對象以及關係的一批事實;規定操作對象以及關係的一批規則;詢問操作對象以及關係的具體問題.PROLOG本身就是一個使用歸結法的演繹推理機，它通過合一、置換、消解、回溯和匹配等機制來求解問題.PROLOG語言也有許多不同的...
接口主要指高級語言與彙編語言之間的聯繫性，Ada語言在套用的過程中可以訪問彙編語言，訪問情況的實現只需要程式功能，程式功能在使用的過程中破解所設定的環節，進行訪問工作。對C語言而言，將彙編語言作為整體看成一個獨立的部分，將獨立的部分加入C的程式中，具有通訊功能。對於Macros的套用，可以套用在彙編語言中，...
同時，C 語言還具有低級語言的許多特點，如允許直接訪問物理地址，能進行位操作，能實現彙編語言的大部分功能，可以直接對硬體進行操作等。用 C 語言編譯程式產生的目標程式，其質量可以與彙編語言產生的目標程式相媲美，具有“可移植的彙編語言”的美稱，成為編寫套用軟體、作業系統和編譯程式的重要語言之一。(3) 專用...
用Prolog和Turbo Prolog語言開發專家系統 《用Prolog和Turbo Prolog語言開發專家系統》是航空工業出版社出版的圖書，作者是楊冀宏，闞丹鋒，姜艷秋，祝惠華 內容簡介 用Prolog和Turbo Prolog語言開發專家系統的一般方法。本書以標準Prolog進行講解，並對Turbo Prolog進行了說明。
隨著人工智慧的發展，出現了LISP、PROLOG等語言， LISP也叫表處理語言， 利用LISP可以方便地進行符號處理。PROLOG以邏輯推理作為出發點，其程式由一系列規則和事實構成，運行時用戶提出詢問，計算機自動搜尋答案。LISP與PROLOG都具有一定的解決智慧型型問題的能力。分類 從套用範圍看，算法語言中有專門為進行各種數值計算而...
混合語言 例如，Makefiles以聲明方式指定了依賴關係，但也包括一個必要的行動列表。同樣，yacc聲明式地指定了一個上下文無關語法，但是包含來自宿主語言的代碼片斷，這通常是必要的（比如C）。邏輯編程 邏輯編程語言，如Prolog狀態和查詢關係。回答這些查詢的具體細節取決於實現及其定理證明，但通常採取某種形式的統一。像...
簡單性：提供最基本的方法來完成指定的任務，只需理解一些基本的概念，就可以用它編寫出適合於各種情況的套用程式。面向對象：提供簡單的類機制以及動態的接口模型。對象中封裝狀態變數以及相應的方法，實現了模組化和信息隱藏；提供了一類對象的原型，並且通過繼承機制，子類可以使用父類所提供的方法，實現了代碼的復用。
最常用的邏輯程式語言是Prolog，另外有較適用於大型方案的Mercury。詳盡的清單可見於Category：邏輯程式語言。沿革 1972年法國科莫勞埃小組實現了第一個邏輯程式設計語言PROLOG。1974年以後R.科瓦爾斯基進一步闡明了PROLOG的理論基礎，並系統地發展了邏輯程式設計的思想。對於傳統的程式設計來說，算法的邏輯意義往往被程式複雜...
PROLOG語言 由於PROLOG語言是一種基於證明理論的語言，因此用它來實現從理論上是完全可行的。用PROLOG語言表示演繹資料庫不需要編制專門的系統軟體，從而實現工作變得極為簡單。將傳統資料庫與演繹結構均用證明理論方法表示，這樣，整個演繹資料庫也變得極為簡單。但由於PROLOG語言本身的弱點（效率低），因此用它來有效完整...
Prolog的第一個實現——Alain Colmerauer和Phillip Roussel的功勞。1974年 另一個COBOL的ANSI規範出現。1975年 Tiny BASIC，由Bob Albrecht和Dennis Allison設計（由Dick Whipple和John Arnold實現），運行在2KB記憶體的微型計算機上。一台4KB的機器是較為合適的，它將有2KB的記憶體套用於這個程式上。Bill Gates和Paul ...
4，複雜結構應該用基本控制結構進行組合或嵌套來實現。5，程式設計語言中沒有的控制結構，可用一段等價的程式段模擬，但要求改程式段在整個系統中應前後一致。6，嚴格控制GOTO語句。面向對象的程式設計 面向對象的基本概念 1，對象 2，類 3，封裝 4，繼承 5，訊息 6，多態性 優點 1，符合人們認識事物的規律 2，...
Lisp語言適合於符號處理，它處理的對象是符號表達式（又稱S-表達式）。所有的程式與數據均由S-表達式構成，採用的主要控制結構是遞歸。Prolog語言以一階謂詞演算為其理論基礎。它的數據結構是項，所有的程式和數據均由項組成，也採用遞歸為其主要控制結構。此外，Prolog能自動實現模式匹配和回溯。③智慧型軟體工程支撐環境...
邏輯程式設計將一階謂詞演算的子集直接作為程式設計語言的技術和方法。PROLOG語言是初步實現邏輯程式設計基本思想的第一個語言，R.科瓦爾斯基則曾對HORN子句作了過程性解釋，系統地闡明了邏輯程式設計的基本理論。
知識獲取是專家系統知識庫是否優越的關鍵，也是專家系統設計的“瓶頸”問題，通過知識獲取，可以擴充和修改知識庫中的內容，也可以實現自動學習功能。實現方式 早期的專家系統採用通用的程式設計語言（如fortran、pascal、basic等）和人工智慧語言（如lisp、prolog、smalltalk等），通過人工智慧專家與領域專家的合作，直接編程...
Lisp語言適合於符號處理，它處理的唯一對象是符號表達式（又稱S-表達式）。所有的程式與數據均由S-表達式構成，採用的主要控制結構是遞歸。Prolog語言以一階謂詞演算為其理論基礎。它的數據結構是項，所有的程式和數據均由項組成，也採用遞歸為其主要控制結構。此外，Prolog能自動實現模式匹配和回溯。支撐環境 又稱基於...
一、基礎篇，本篇主要介紹的是數據邏輯的基本理論和本質，重點介紹一階謂詞邏輯；二、程式設計篇：本篇主要介紹的是基於一階謂語邏輯的人工智慧語言Prolog語言，運用大量實例講解了當今最新的Visual Prolog的基本原理和程式設計方法；三、套用篇，本篇主要介紹的是運用計算機自動推理的理論實現在教育中的套用，介紹了智慧型...
知識工程師負責從領域專家總結的知識和經驗中抽取精華，設計知識結構，選用知識表達方法，根據不同的知識表達確立不同的知識存貯方式和推理機制，並選用LISP、PROLOG之類的人工智慧程式設計語言實現系統原型，幾經試用、修改後再提交最終用戶使用。因而認為，實用專家系統的研究如果僅限於用手工方式以LISP或PROLOG語言從頭開發...
這一研究的理論基礎是形式語言學的研究方法論。從形式語言學的研究方法出發，我們對語義的描述採用的是邏輯公式的表現手段。本書提出了一種擴充的邏輯語義分析法，並致力於套用這一分析框架來研究漢語部分句式的問題。 本書所使用的計算機語言是SICStus版本的Prolog語言，並對漢語部分句式的語義生成過程進行了個案實現。...
編程語言 在套用中，程式語言 ProLog 由於有架設被演繹邏輯問訊的"規則"的資料庫設施而很適合實現模糊邏輯。這種編程叫做邏輯編程。研究對象 欲弄清模糊邏輯的研究對象首先必須得清楚邏輯的研究對象，因為模糊邏輯只不過是在經典邏輯的基礎之上發展起來的一門分支學科。只要搞清楚了邏輯的研究對象，那么模糊邏輯的研究對象...
