程序設(shè)計(jì)語(yǔ)言原理（原書(shū)第5版）

出版者的話
專家指導(dǎo)委員會(huì)
譯者序
前言
第1章 基本概念
1.1 學(xué)習(xí)程序設(shè)計(jì)語(yǔ)言原理的緣由
1.2 程序設(shè)計(jì)領(lǐng)域
1.2.1 科學(xué)應(yīng)用
1.2.2 商務(wù)應(yīng)用
1.2.3 人工智能
1.2.4 系統(tǒng)程序設(shè)計(jì)
1.2.5 腳本語(yǔ)言
1.2.6 專用語(yǔ)言
1.3 語(yǔ)言評(píng)估標(biāo)準(zhǔn)
1.3.1 可讀性
1.3.2 可寫(xiě)性
1.3.3 可靠性
1.3.4 代價(jià)
1.4 影響語(yǔ)言設(shè)計(jì)的因素
1.4.1 計(jì)算機(jī)體系結(jié)構(gòu)
1.4.2 程序設(shè)計(jì)方法學(xué)
1.5 語(yǔ)言分類(lèi)
1.6 語(yǔ)言設(shè)計(jì)中的權(quán)衡
1.7 實(shí)現(xiàn)方法
1.7.1 編譯方法
1.7.2 單純解釋
1.7.3 混合實(shí)現(xiàn)系統(tǒng)
1.8 程序設(shè)計(jì)環(huán)境
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第2章 主要程序設(shè)計(jì)語(yǔ)言的發(fā)展
2.1 Zuse的Plankalkul語(yǔ)言
2.1.1 歷史背景
2.1.2 語(yǔ)言概述
2.2 最小硬件的程序設(shè)計(jì)：偽代碼
2.2.1 短代碼
2.2.2 快速編碼
2.2.3 UNIVAC“編譯”系統(tǒng)
2.2.4 相關(guān)的工作
2.3 IBM 704計(jì)算機(jī)和FORTRAN語(yǔ)言
2.3.1 歷史背景
2.3.2 設(shè)計(jì)過(guò)程
2.3.3 FORTRAN Ⅰ概況
2.3.4 FORTRAN Ⅱ概況
2.3.5 FORTRAN Ⅳ、FORTRAN 77和FORTRAN 90
2.3.6 評(píng)估
2.4 函數(shù)式程序設(shè)計(jì)：LISP語(yǔ)言
2.4.1 人工智能和表數(shù)據(jù)處理的開(kāi)始
2.4.2 LISP的設(shè)計(jì)過(guò)程
2.4.3 語(yǔ)言概述
2.4.4 評(píng)估
2.4.5 LISP的兩種后代語(yǔ)言
2.4.6 相關(guān)的語(yǔ)言
2.5 邁向成熟的第一步：ALGOL 60
2.5.1 歷史背景
2.5.2 早期設(shè)計(jì)過(guò)程
2.5.3 ALGOL 58概況
2.5.4 ALGOL 58報(bào)告的接受
2.5.5 ALGOL 60的設(shè)計(jì)過(guò)程
2.5.6 ALGOL 60語(yǔ)言概述
2.5.7 ALGOL 60的評(píng)估
2.6 商務(wù)記錄的計(jì)算機(jī)化：COBOL
2.6.1 歷史背景
2.6.2 FLOW-MATIC語(yǔ)言
2.6.3 COBOL的設(shè)計(jì)過(guò)程
2.6.4 評(píng)估
2.7 分時(shí)操作的開(kāi)始：BASIC
2.7.1 設(shè)計(jì)過(guò)程
2.7.2 語(yǔ)言概述
2.7.3 評(píng)估
2.8 用途廣泛的語(yǔ)言：PL/I
2.8.1 歷史背景
2.8.2 設(shè)計(jì)過(guò)程
2.8.3 語(yǔ)言概述
2.8.4 評(píng)估
2.9 兩種早期的動(dòng)態(tài)語(yǔ)言：APL和SNOBOL
2.9.1 APL的起源與特征
2.9.2 SNOBOL的起源與特征
2.10 數(shù)據(jù)抽象的開(kāi)始：SIMULA 67
2.10.1 設(shè)計(jì)過(guò)程
2.10.2 語(yǔ)言概述
2.11 正交性語(yǔ)言的設(shè)計(jì)：ALGOL 68
2.11.1 設(shè)計(jì)過(guò)程
2.11.2 語(yǔ)言概述
2.11.3 評(píng)估
2.12 ALGOL系列語(yǔ)言的重要后代語(yǔ)言
2.12.1 為簡(jiǎn)單性而設(shè)計(jì)的語(yǔ)言：Pascal
2.12.2 可移植的系統(tǒng)語(yǔ)言：C
2.12.3 ALGOL的其他后代語(yǔ)言
2.13 基于邏輯的程序設(shè)計(jì)：Prolog
2.13.1 設(shè)計(jì)過(guò)程
2.13.2 語(yǔ)言概述
2.13.3 評(píng)估
2.14 歷史上最大規(guī)模的語(yǔ)言設(shè)計(jì)：Ada
2.14.1 歷史背景
2.14.2 設(shè)計(jì)過(guò)程
2.14.3 語(yǔ)言概述
2.14.4 評(píng)估
2.14.5 Ada 95
2.15 面向?qū)ο蟮某绦蛟O(shè)計(jì)：Smalltalk
2.15.1 設(shè)計(jì)過(guò)程
2.15.2 語(yǔ)言概述
2.15.3 評(píng)估
2.16 結(jié)合命令式與面向?qū)ο蟮奶匦裕籆++
2.16.1 設(shè)計(jì)過(guò)程
2.16.2 語(yǔ)言概述
2.16.3 評(píng)估
2.16.4 一種相關(guān)語(yǔ)言：Eiffel
2.17 萬(wàn)維網(wǎng)程序設(shè)計(jì)：Java
2.17.1 設(shè)計(jì)過(guò)程
2.17.2 語(yǔ)言概述
2.17.3 評(píng)估
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
第3章 描述語(yǔ)法和語(yǔ)義
3.1 介紹
3.2 描述語(yǔ)法的普遍問(wèn)題
3.2.1 語(yǔ)言識(shí)別器
3.2.2 語(yǔ)言生成器
3.3 描述語(yǔ)法的形式方法
3.3.1 巴科斯-諾爾范式與上下文無(wú)關(guān)文法
3.3.2 擴(kuò)展的BNF
3.3.3 語(yǔ)法圖
3.3.4 文法與識(shí)別器
3.4 屬性文法
3.4.1 靜態(tài)語(yǔ)義
3.4.2 基本概念
3.4.3 屬性文法定義
3.4.4 內(nèi)在屬性
3.4.5 屬性文法的例子
3.4.6 計(jì)算屬性值
3.4.7 評(píng)估
3.5 描述程序的意義：動(dòng)態(tài)語(yǔ)義
3.5.1 操作語(yǔ)義
3.5.2 公理語(yǔ)義
3.5.3 指稱語(yǔ)義
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
第4章 詞法分析和語(yǔ)法分析
4.1 介紹
4.2 詞法分析
4.3 語(yǔ)法分析問(wèn)題
4.3.1 語(yǔ)法分析介紹
4.3.2 自頂向下語(yǔ)法分析器
4.3.3 自底向上語(yǔ)法分析器
4.3.4 語(yǔ)法分析的復(fù)雜性
4.4 遞歸下降語(yǔ)法分析
4.4.1 遞歸下降語(yǔ)法分析過(guò)程
4.4.2 LL文法類(lèi)
4.5 自底向上語(yǔ)法分析
4.5.1 自底向上語(yǔ)法分析器的語(yǔ)法分析問(wèn)題
4.5.2 移進(jìn)-歸約算法
4.5.3 LR語(yǔ)法分析器
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第5章 名字、綁定、類(lèi)型檢測(cè)和作用域
5.1 介紹
5.2 名字
5.2.1 設(shè)計(jì)問(wèn)題
5.2.2 名字形式
5.2.3 特殊字
5.3 變量
5.3.1 名字
5.3.2 地址
5.3.3 類(lèi)型
5.3.4 值
5.4 綁定概念
5.4.1 屬性-變量綁定
5.4.2 類(lèi)型綁定
5.4.3 存儲(chǔ)綁定與生存期
5.5 類(lèi)型檢測(cè)
5.6 強(qiáng)類(lèi)型化
5.7 類(lèi)型兼容性
5.8 作用域
5.8.1 靜態(tài)作用域
5.8.2 塊
5.8.3 靜態(tài)作用域的評(píng)估
5.8.4 動(dòng)態(tài)作用域
5.8.5 動(dòng)態(tài)作用域的評(píng)估
5.9 作用域與生存期
5.10 引用環(huán)境
5.11 命名常量
5.12 變量初始化
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第6章 數(shù)據(jù)類(lèi)型
6.1 介紹
6.2 基本數(shù)據(jù)類(lèi)型
6.2.1 數(shù)值類(lèi)型
6.2.2 布爾類(lèi)型
6.2.3 字符類(lèi)型
6.3 字符串類(lèi)型
6.3.1 設(shè)計(jì)問(wèn)題
6.3.2 字符串及操作
6.3.3 串長(zhǎng)度的選擇
6.3.4 評(píng)估
6.3.5 字符串類(lèi)型的實(shí)現(xiàn)
6.4 用戶定義的序數(shù)類(lèi)型
6.4.1 枚舉類(lèi)型
6.4.2 子范圍類(lèi)型
6.4.3 實(shí)現(xiàn)用戶定義的序數(shù)類(lèi)型
6.5 數(shù)組類(lèi)型
6.5.1 設(shè)計(jì)問(wèn)題
6.5.2 數(shù)組和下標(biāo)
6.5.3 下標(biāo)綁定和數(shù)組類(lèi)別
6.5.4 數(shù)組中的下標(biāo)數(shù)目
6.5.5 數(shù)組初始化
6.5.6 數(shù)組操作
6.5.7 片
6.5.8 評(píng)估
6.5.9 數(shù)組類(lèi)型的實(shí)現(xiàn)
6.6 相關(guān)數(shù)組
6.6.1 結(jié)構(gòu)和操作
6.6.2 實(shí)現(xiàn)相關(guān)數(shù)組
6.7 記錄類(lèi)型
6.7.1 記錄的定義
6.7.2 對(duì)記錄域的引用
6.7.3 記錄操作
6.7.4 評(píng)估
6.7.5 記錄類(lèi)型的實(shí)現(xiàn)
6.8 聯(lián)合類(lèi)型
6.8.1 設(shè)計(jì)問(wèn)題
6.8.2 自由聯(lián)合
6.8.3 Pascal聯(lián)合類(lèi)型
6.8.4 Ada聯(lián)合類(lèi)型
6.8.5 評(píng)估
6.8.6 聯(lián)合類(lèi)型的實(shí)現(xiàn)
6.9 集合類(lèi)型
6.9.1 Pascal中的集合
6.9.2 評(píng)估
6.9.3 集合類(lèi)型的實(shí)現(xiàn)
6.10 指針類(lèi)型
6.10.1 設(shè)計(jì)問(wèn)題
6.10.2 指針操作
6.10.3 指針的一些問(wèn)題
6.10.4 Pascal語(yǔ)言中的指針
6.10.5 Ada中的指針
6.10.6 C和C++中的指針
6.10.7 FORTRAN 90中的指針
6.10.8 引用類(lèi)型
6.10.9 評(píng)估
6.10.10 指針類(lèi)型和引用類(lèi)型的實(shí)現(xiàn)
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
第7章 表達(dá)式與賦值語(yǔ)句
7.1 介紹
7.2 算術(shù)表達(dá)式
7.2.1 操作符求值順序
7.2.2 操作數(shù)求值順序
7.3 重載操作符
7.4 類(lèi)型轉(zhuǎn)換
7.4.1 表達(dá)式中的強(qiáng)制轉(zhuǎn)換
7.4.2 顯式類(lèi)型轉(zhuǎn)換
7.4.3 表達(dá)式中的錯(cuò)誤
7.5 關(guān)系表達(dá)式和布爾表達(dá)式
7.5.1 關(guān)系表達(dá)式
7.5.2 布爾表達(dá)式
7.6 短路求值
7.7 賦值語(yǔ)句
7.7.1 簡(jiǎn)單賦值
7.7.2 多目標(biāo)
7.7.3 條件目標(biāo)
7.7.4 復(fù)合賦值操作符
7.7.5 一元賦值操作符
7.7.6 賦值作為表達(dá)式
7.8 混合模式賦值
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第8章 語(yǔ)句層次的控制結(jié)構(gòu)
8.1 介紹
8.2 復(fù)合語(yǔ)句
8.3 選擇語(yǔ)句
8.3.1 雙向選擇語(yǔ)句
8.3.2 多向選擇結(jié)構(gòu)
8.4 循環(huán)語(yǔ)句
8.4.1 計(jì)數(shù)器控制的循環(huán)
8.4.2 邏輯控制的循環(huán)
8.4.3 用戶定位的循環(huán)控制機(jī)制
8.4.4 基于數(shù)據(jù)結(jié)構(gòu)的重復(fù)
8.5 無(wú)條件轉(zhuǎn)移
8.5.1 無(wú)條件轉(zhuǎn)移中的問(wèn)題
8.5.2 標(biāo)號(hào)形式
8.6 受保護(hù)命令
8.7 結(jié)論
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第9章 子程序
9.1 介紹
9.2 子程序的基本原理
9.2.1 子程序的共同特征
9.2.2 基本定義
9.2.3 參數(shù)
9.2.4 過(guò)程與函數(shù)
9.3 子程序的設(shè)計(jì)問(wèn)題
9.4 局部引用環(huán)境
9.5 參數(shù)傳遞方法
9.5.1 參數(shù)傳遞的語(yǔ)義模型
9.5.2 參數(shù)傳遞的實(shí)現(xiàn)模型
9.5.3 主要語(yǔ)言中的參數(shù)傳遞
9.5.4 參數(shù)類(lèi)型檢測(cè)
9.5.5 實(shí)現(xiàn)參數(shù)傳遞方法
9.5.6 多維數(shù)組作為參數(shù)
9.5.7 設(shè)計(jì)考慮
9.5.8 參數(shù)傳遞的例子
9.6 子程序名作為參數(shù)傳遞
9.7 重載子程序
9.8 通用子程序
9.8.1 Ada中的通用子程序
9.8.2 C++中的通用函數(shù)
9.9 分別編譯與獨(dú)立編譯
9.10 函數(shù)的設(shè)計(jì)問(wèn)題
9.10.1 函數(shù)的副作用
9.10.2 返回值的類(lèi)型
9.11 訪問(wèn)非局部環(huán)境
9.11.1 FORTRAN COMMON塊
9.11.2 外部聲明和模塊
9.12 用戶定義的重載操作符
9.13 協(xié)同程序
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第10章 實(shí)現(xiàn)子程序
10.1 調(diào)用與返回的一般語(yǔ)義
10.2 實(shí)現(xiàn)FORTRAN 77子程序
10.3 在類(lèi)ALGOL語(yǔ)言中實(shí)現(xiàn)子程序
10.3.1 更復(fù)雜的活動(dòng)記錄
10.3.2 一個(gè)沒(méi)有遞歸及非局部引用的例子
10.3.3 遞歸
10.3.4 實(shí)現(xiàn)非局部引用的機(jī)制
10.4 塊
10.5 實(shí)現(xiàn)動(dòng)態(tài)作用域
10.5.1 深訪問(wèn)
10.5.2 淺訪問(wèn)
10.6 子程序名參數(shù)的實(shí)現(xiàn)
10.6.1 靜態(tài)鏈方法
10.6.2 顯示
10.6.3 再次討論引用環(huán)境的混亂
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
第11章 抽象數(shù)據(jù)類(lèi)型
11.1 抽象的概念
11.2 封裝
11.3 數(shù)據(jù)抽象的介紹
11.3.1 浮點(diǎn)數(shù)作為抽象數(shù)據(jù)類(lèi)型
11.3.2 用戶定義的抽象數(shù)據(jù)類(lèi)型
11.3.3 一個(gè)例子
11.4 設(shè)計(jì)問(wèn)題
11.5 語(yǔ)言示例
11.5.1 SIMULA 67中的類(lèi)
11.5.2 Ada中的抽象數(shù)據(jù)類(lèi)型
11.5.3 C++中的抽象數(shù)據(jù)類(lèi)型
11.6 有參數(shù)的抽象數(shù)據(jù)類(lèi)型
11.6.1 Ada
11.6.2 C++
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第12章 支持面向?qū)ο蟮某绦蛟O(shè)計(jì)
12.1 介紹
12.2 面向?qū)ο蟪绦蛟O(shè)計(jì)
12.2.1 介紹
12.2.2 繼承
12.2.3 多態(tài)與動(dòng)態(tài)綁定
12.2.4 面向?qū)ο笳Z(yǔ)言的計(jì)算
12.3 面向?qū)ο笳Z(yǔ)言的設(shè)計(jì)問(wèn)題
12.3.1 純對(duì)象模型
12.3.2 子類(lèi)是子類(lèi)型嗎
12.3.3 實(shí)現(xiàn)繼承與接口繼承
12.3.4 類(lèi)型檢測(cè)與多態(tài)
12.3.5 單繼承與多繼承
12.3.6 對(duì)象的分配與解除分配
12.3.7 動(dòng)態(tài)綁定與靜態(tài)綁定
12.4 Smalltalk概況
12.4.1 一般特征
12.4.2 Smalltalk環(huán)境
12.5 Smalltalk語(yǔ)言介紹
12.5.1 表達(dá)式
12.5.2 方法
12.5.3 賦值語(yǔ)句
12.5.4 塊與控制結(jié)構(gòu)
12.5.5 類(lèi)
12.5.6 方法的更多方面
12.6 Smalltalk程序示例
12.6.1 簡(jiǎn)單表格處理
12.6.2 LOGO風(fēng)格的圖形
12.7 Smalltalk的輪廓特性
12.7.1 類(lèi)型檢測(cè)與多態(tài)
12.7.2 繼承
12.8 Smalltalk的評(píng)估
12.9 C++對(duì)面向?qū)ο蟪绦蛟O(shè)計(jì)的支持
12.9.1 一般特征
12.9.2 繼承
12.9.3 動(dòng)態(tài)綁定
12.9.4 評(píng)估
12.10 Java對(duì)面向?qū)ο蟪绦蛟O(shè)計(jì)的支持
12.10.1 一般特征
12.10.2 繼承
12.10.3 動(dòng)態(tài)綁定
12.10.4 封裝
12.10.5 評(píng)估
12.11 Ada 95對(duì)面向?qū)ο蟪绦蛟O(shè)計(jì)的支持
12.11.1 一般特征
12.11.2 繼承
12.11.3 動(dòng)態(tài)綁定
12.11.4 評(píng)估
12.12 Eiffel對(duì)面向?qū)ο蟪绦蛟O(shè)計(jì)的支持
12.12.1 一般特征
12.12.2 繼承
12.12.3 動(dòng)態(tài)綁定
12.12.4 評(píng)估
12.13 JavaScript的對(duì)象模型
12.13.1 一般特征
12.13.2 JavaScript對(duì)象
12.13.3 對(duì)象的創(chuàng)建與修改
12.13.4 評(píng)估
12.14 面向?qū)ο蠼Y(jié)構(gòu)的實(shí)現(xiàn)
12.14.1 存儲(chǔ)實(shí)例數(shù)據(jù)
12.14.2 消息對(duì)方法的動(dòng)態(tài)綁定
本章小結(jié)
復(fù)習(xí)題
練習(xí)題
第13章 并發(fā)
13.1 介紹
13.1.1 多處理器體系結(jié)構(gòu)
13.1.2 并發(fā)的種類(lèi)
13.1.3 學(xué)習(xí)并發(fā)的動(dòng)機(jī)
13.2 子程序?qū)哟尾l(fā)的介紹
13.2.1 基本概念
13.2.2 為并發(fā)而設(shè)計(jì)的語(yǔ)言
13.2.3 設(shè)計(jì)問(wèn)題
13.3 信號(hào)量
13.3.1 介紹
13.3.2 合作同步
13.3.3 競(jìng)爭(zhēng)同步
13.3.4 評(píng)估
13.4 管程
13.4.1 介紹
13.4.2 競(jìng)爭(zhēng)同步
13.4.3 合作同步
13.4.4 評(píng)估
13.5 消息傳遞
13.5.1 介紹
13.5.2 同步消息傳遞的概念
13.5.3 Ada 83的消息傳遞模型
13.5.4 合作同步
13.5.5 競(jìng)爭(zhēng)同步
13.5.6 任務(wù)的終止
13.5.7 優(yōu)先級(jí)
13.5.8 二元信號(hào)量
13.5.9 評(píng)估
13.6 Ada 95中的并發(fā)
13.6.1 保護(hù)的對(duì)象
13.6.2 異步消息
13.7 Java線程
13.7.1 Thread類(lèi)
13.7.2 優(yōu)先級(jí)
13.7.3 競(jìng)爭(zhēng)同步
13.7.4 合作同步
13.7.5 評(píng)估
13.8 語(yǔ)句層次的并發(fā)
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
第14章 異常處理
14.1 異常處理介紹
14.1.1 基本概念
14.1.2 設(shè)計(jì)問(wèn)題
14.1.3 歷史
14.2 PL/I中的異常處理
14.2.1 異常處理程序
14.2.2 異常與異常處理程序的綁定
14.2.3 繼續(xù)
14.2.4 其他設(shè)計(jì)選擇
14.2.5 示例
14.2.6 評(píng)估
14.3 Ada中的異常處理
14.3.1 異常處理程序
14.3.2 異常與異常處理程序的綁定
14.3.3 繼續(xù)
14.3.4 其他設(shè)計(jì)選擇
14.3.5 示例
14.3.6 評(píng)估
14.4 C++中的異常處理
14.4.1 異常處理程序
14.4.2 處理與異常處理程序的綁定
14.4.3 繼續(xù)
14.4.4 其他設(shè)計(jì)選擇
14.4.5 示例
14.4.6 評(píng)估
14.5 Java中的異常處理
14.5.1 異常類(lèi)
14.5.2 異常處理程序
14.5.3 異常與異常處理程序的綁定
14.5.4 繼續(xù)
14.5.5 其他設(shè)計(jì)選擇
14.5.6 示例
14.5.7 finally子句
14.5.8 評(píng)估
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
第15章 函數(shù)式程序設(shè)計(jì)語(yǔ)言
15.1 介紹
15.2 數(shù)學(xué)函數(shù)
15.2.1 簡(jiǎn)單函數(shù)
15.2.2 函數(shù)形式
15.3 函數(shù)式程序設(shè)計(jì)語(yǔ)言的基礎(chǔ)
15.4 第一種函數(shù)式程序設(shè)計(jì)語(yǔ)言：LISP
15.4.1 數(shù)據(jù)類(lèi)型和結(jié)構(gòu)
15.4.2 第一個(gè)LISP解釋器
15.5 Scheme介紹
15.5.1 Scheme的起源
15.5.2 原始函數(shù)
15.5.3 構(gòu)造函數(shù)的函數(shù)
15.5.4 謂詞函數(shù)
15.5.5 控制流程
15.5.6 Scheme示例函數(shù)
15.5.7 函數(shù)形式
15.5.8 產(chǎn)生代碼的函數(shù)
15.5.9 Scheme的命令式特性
15.6 COMMON LISP
15.7 ML
15.8 Haskell
15.9 函數(shù)式語(yǔ)言的應(yīng)用
15.10 函數(shù)式語(yǔ)言和命令式語(yǔ)言的比較
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
第16章 邏輯程序設(shè)計(jì)語(yǔ)言
16.1 介紹
16.2 謂詞演算的簡(jiǎn)短介紹
16.2.1 命題
16.2.2 子句形式
16.3 謂詞演算與定理證明
16.4 邏輯程序設(shè)計(jì)概述
16.5 Prolog的起源
16.6 Prolog的基本元素
16.6.1 項(xiàng)
16.6.2 事實(shí)語(yǔ)句
16.6.3 規(guī)則語(yǔ)句
16.6.4 目標(biāo)語(yǔ)句
16.6.5 Prolog的推理過(guò)程
16.6.6 簡(jiǎn)單算術(shù)
16.6.7 鏈表結(jié)構(gòu)
16.7 Prolog的缺陷
16.7.1 歸結(jié)次序控制
16.7.2 封閉世界假設(shè)
16.7.3 否定問(wèn)題
16.7.4 內(nèi)在的限制
16.8 邏輯程序設(shè)計(jì)的應(yīng)用
16.8.1 關(guān)系數(shù)據(jù)庫(kù)管理系統(tǒng)
16.8.2 專家系統(tǒng)
16.8.3 自然語(yǔ)言處理
16.8.4 教育
16.9 結(jié)論
本章小結(jié)
文獻(xiàn)注釋
復(fù)習(xí)題
練習(xí)題
參考文獻(xiàn)
索引