基本介紹
- 書名：PROLOG語言及其套用
- 作者：侯豐勝
- ISBN：7-311-00362-8/T·6
- 頁數：183頁
- 定價：2.65元
- 出版社：蘭州大學出版社
- 出版時間：1990年12月
- 裝幀：簡裝
- 開本：787×1092 1/32
- 字數：127千字
內容簡介,作者簡介,前 言,目 錄,相關資料,
內容簡介
PROLOG語言是一種邏輯型程式設計語言。其特點是能像人腦那樣自動地進行邏輯推理。它具有自動搜尋、遞歸、回溯、模式匹配等獨特功能，它奇特、優美的程式設計風格，博得了人們的稱讚它的套用非常廣泛，適用於定理證明、非數值處理、套用管理、關係資料庫、諮詢程式、自然語言處理、專家系統和人工智慧等許多領域。
《PROLOG語言及其套用》一書是PROLOG語言教學或自學用書。全書共分九章。內容包括：PROLOG語言概述、事實和詢問、規則、表、複合條件、表處理、尾部遞歸及模組的使用、PROLOG的套用及實例程式等。每章配有一定數量的習題，書後附有習題參考答案。本書由淺入深，通俗易懂，所有程式均在計算機上運行通過。書中程式里的謂詞和個體基本上都以漢字表示，因而程式的易讀性較強。另外，對英文命令、關係名都給出了中文解釋，從而也使得不懂英語的人可以自學PROLOG語言書中理論敘述與大量實例相結合，所有實例程式都到IBM PC/XT機上通過。本書適合大中專學生、教師及計算機程式設計師和科技人員閱讀或參考。
作者簡介
侯豐勝男,1958年2月1日出生。陝西省合陽縣路井鎮路一村人。漢族。1976年2月入伍，1977年10月加入中國共產黨，大學文化程度，專業技術六級，文職3級。蘭州軍區科技新星，蘭州軍區聯勤部科技工作專家庫成員，解放軍蘭州醫學高等專科學校數理計算機教研室副教授。榮立三等功3次，受嘉獎6次，獲學校優秀黨員1次。獲軍隊科學技術進步三等獎4項，四等獎5項。獲院校級優秀教學成果一等獎1項，二等獎3項，三等獎1項、主編出版了4部專著和教材。在《計算機套用研究》、《微型機與套用》、《中國衛生統計》、《微型計算機》、《微小型計算機開發與套用》、《數學通報》、《計算機世界》、《中國計算機報》、《軟體報》、《電腦報》、《大眾日報》、《信息日報》等報刊雜誌發表論文260餘篇，計150多萬字。曾任《新潮電子》、《中國電腦教育報》、《軟體報》等報刊雜誌的特約撰稿人。
前 言
PROLOG語言是電腦程式設計語言領域裡出現的一顆新星，它是一種邏輯型程式設計語言，其特點是能像人腦那樣自動地進行邏輯推理。它具有自動搜尋、遞歸、回溯、模式匹配等獨特功能，它奇特、優美的程式設計風格，博得了人們的稱讚。
它的套用非常廣泛，適用於定理證明、非數值處理、套用管理、關係資料庫、諮詢程式、自然語言處理、專家系統和人工智慧等許多領域。
本書在敘述上力求由淺入深，通俗易懂。各章均配有一定數量的習題，並在書末給出了參考答案在，這些習題和答案有助於讀者對各章內容的理解和鞏固。帶“*”號的部分可作為選學內容。
本書適合於自學，也可作為教材。書中程式里的謂詞和個體基本上都以漢字表示，因而程式的易讀性較強。另外，對英文命令、關係名都給出了中文解釋，從而也使得不懂英語的人可以自學PROLOG語言。
書中理論敘述與大量實例相結合，所有實例程式都在IBM PC/XT微機上通過。
本書的部分內容反映了作者近年來的研究成果。
本書出版得到了蘭州軍區軍醫學校領導及訓練部領導的支持，也得到了蘭州軍區後勤部自動化工作站領導的支持，在此表示深深地感謝！另外，要特別感謝肖天慶副教授和李萍（別名李玉嬋，作者的妻子）同志，他們不僅對本書出版給以大力支持，而且付出了辛勤的勞動。感謝劉衛華、曹曉延、鄧慧梅等同志的支持和協助。
由於編者水平有限，加之時間倉促，本書定有不妥、欠周、疏漏和錯誤之處，懇請專家和廣大讀者批評指正。
作 者
1989年11月於蘭州
目 錄
第一章 概述
§1.1 PROLOG語言的特點
§1.2 PROLOG語言的運行環境
§1.3 PROLOG語言程式的構成
§1.5 PROLOG的進入和退出
習題一
第二章 事實和詢問
§2.1事實的建立和輸入
§2.2 程式的輸出
§2.3 程式的存貯與調入
§2.4 程式的編輯
§2.5 詢問
§2.6算術關係和EQ關係
§2.7 詢問的求解（PROLOG程式的執行過程）
習題二
第三章 規 則
§3.1條件句與規則
§3.2 把詢問中的聯合條件轉化為規則
§3.3 怎樣求解含有規則的詢問
§3.4 關係的遞歸定義
§3.5 遞歸關係的套用舉例
習題三
第四章表
§4.1 表的格式
§4.2 尋求定長表的成員
§4.3 表中表
§4.4 尋求不定長表的成員
§4.5 表的長度
§4.6 一致化
習題四
第五章 複合條件
§5.1 否定條件
§5.2 isall條件
§5.3 forall條件
§5.4 or條件
§5.5表達式條件
§5.6 is-told條件
§5.7注釋條件
習題五
第六章表處理
§6.1 表的連線關係
§6.2 用“連線”關係定義新的關係
§6.4 表函式
習題六
第七章尾部遞歸及模組的使用
§7.1 唯一答案條件
