目录 12
前言 12
第一部分 OPS83程序设计指南 12
第一章 引言 12
§1.1 基于规则的程序设计 12
§1.2 何时使用规则 14
2.1.2 实型数 15
2.1.1 整型数 15
§2.1 常数 15
第二章 常数和表达式 15
2.1.3 逻辑型数据 16
2.1.4 字符型数据 16
2.1.5 符号 16
§2.2 变量 17
§2.3 表达式 17
2.3.1 算术表达式中的类型 19
§2.4 关系运算符 19
§2.5 逻辑运算符 20
2.4.1 类型与比较运算符 20
2.5.1 短路逻辑表达式 21
§2.6 运算符的求值顺序 21
第三章 可执行语句 24
§3.1 赋值语句 24
§3.2 Cast语句 25
§3.3 Write语句 25
§3.4 Read语句 26
§3.6 复合语句 28
§3.5 If语句 28
§3.7 While语句 29
§3.8 For语句 30
§3.9 Return语句 32
§3.10 注释 33
§3.11 OPS83书写格式目由 34
第四章 输入和输出 36
§4.1 文件格式 36
4.2.1 标准输入输出流 37
§4.2 文件标识 37
§4.3 打开文件（open） 38
§4.4 建立文件（create） 39
§4.5 关闭文件（close） 39
§4.6 格式化输出 40
§4.7 状态函数 41
第五章 模块 42
§5.1 预定义类型 42
§5.2 过程 42
5.2.1 参数 43
§5.3 局部变量 45
5.3.1 对局部变量的限制 46
§5.4 单模块程序 46
§5.5 函数 48
§5.6 全局变量 49
§5.7 简单函数和过程 52
§5.8 递归 52
§5.9 调用其它语言编写的子程序 53
5.9.2 一个C语言的外部过程 54
5.9.1 与其它语言的兼容性 54
5.9.3 一个FORTRAN语言的外部过程 55
5.9.4 向其他语言程序传递符号 55
§5.10 说明的次序 55
5.10.1 前置说明 56
§5.11 分割一个程序为多个文件 57
5.11.1 一个完整的例子 59
§5.12 停止程序执行 61
5.11.2 一些限制 61
第六章 类型 62
§6.1 数组 62
§6.2 类型名说明 64
§6.3 记录 65
§6.4 扩展的记录和数组类型 67
§6.5 导出类型 68
6.5.1 类型的相容性 69
§6.6 Cast语句 70
6.7.1 元素 71
§6.7 其它类型 71
6.7.2 名字 72
§6.8 提取、存贮和比较 72
第七章 工作存贮器 75
§7.1 看待工作存贮器的两种观点 75
§7.2 工作存贮器的高层次观点 76
§7.3 元素说明 77
§7.4 Make语句 78
§7.5 元素的域值说明 79
§7.6 多个项 80
§7.7 缺省值 81
§7.8 Modify语句 82
§7.9 Remove语句 84
§7.10 在同一元素上的多元操作 84
§8.1 规则整体 86
§8.2 规则的右半部分 86
第八章 规则 86
§8.3 规则的左半部分概述 87
§8.4 简单的LHS 88
§8.5 LHS中的变量 89
§8.6 测试域的值 90
§8.7 模式中的一般表达式 92
8.7.1 测试表达式中的域 93
§8.8 模式中的函数调用 95
§8.9 在LHS中使用＠ 96
8.8.1 对子程序调用的限制 96
§8.10 多个项 97
§8.11 多模式 98
§8.12 反模式 99
§8.13 运用compare函数 101
§8.14 LHS的可信度表达式 102
第九章 基于规则的程序举例 104
§9.1 建议 104
§9.2 工作存贮器 104
§9.3 冲突归结策略 105
§9.4 控制机构 106
9.4.1 控制机构的说明 107
§9.5 一个完整的例子 108
9.5.1 规则 108
9.5.2 实用子程序及说明 117
9.5.3 主程序 119
第十章 识别-动作环的实现 122
§10.1 冲突集 122
§10.2 冲突集维护 123
§10.3 检验冲突集的子程序 124
§10.4 编写冲突归结过程 126
§10.5 Fire语句 129
§10.6 识别-动作环的实现 129
§10.7 其他控制策略 131
§10.8 跟踪规则的执行 134
§10.9 部分匹配信息 137
11.1.1 工作存贮器索引 140
§11.1 工作存贮器的数据结构 140
第十一章 工作存贮器的低级访问 140
§11.2 检验工作存贮器 141
§11.3 索引函数 142
§11.4 修改工作存贮器 143
§11.5 如何使用函数 145
§11.6 跟踪执行 145
第十三章 低级输入输出 153
§13.1 Ord和Char函数 153
第十二章 识别-动作环举例 153
§13.2 Peek函数 154
§13.3 Cvsymbol函数 154
13.3.1 警告：符号永远驻留系统中 155
§13.4 Cvinteger函数 155
§13.5 Cvreal函数 156
§13.6 Cvlogical函数 156
§13.7 Name函数 156
§13.8 命令行参数 157
§1.1 背景 161
第一章 引言 161
第二部分 OPS83报告 161
§1.2 符号表示法 162
§1.3 报告的组织 163
第二章 值和类型 164
§2.1 标量和结构值 164
§2.2 类型 164
§2.3 类型的相容性 165
§2.4 标准标量类型 165
§2.5 结构类型 166
§2.6 导出类型 167
§2.7 预定义类型——名字 168
第三章语义 169
§3.1 字符集 169
§3.2 常数 170
3.2.1 整数 170
3.2.2 实数 170
3.2.3 字符常数 171
3.2.4 逻辑常数 172
3.2.5 符号常数 172
§3.3 关键字和标识符 172
§3.4 变量 173
§3.5 操作符 173
§3.6 空白 174
§3.7 注释 174
§4.1 数组 175
第四章 类型说明 175
§4.2 记录 176
§4.3 元素 176
§4.4 导出类型 177
第五章 变量 178
§5.1 全局变量 178
§5.2 局部变量 179
§5.3 形式参数 179
5.3.2 过程和函数中的形式参数 180
5.3.3 规则中的形式参数 180
5.3.1 只读形式参数 180
§5.4 ＠伪变量 181
§5.5 L-值 181
第六章 表达式 183
§6.1 逻辑操作符 183
§6.2 关系操作符 184
§6.3 算术运算符 185
§6.5 函数调用 186
§6.4 常数和L-值 186
§6.6 带括号的子表达式 187
§6.7 优先规则 187
§6.8 表达式的重排序 188
第七章 语句 190
§7.1 赋值语句 190
§7.2 Cast语句 191
§7.3 If语句 191
§7.4 While语句 192
§7.5 For语句 192
§7.6 Return语句 193
§7.7 Call语句 194
§7.8 Fire语句 194
§7.9 输入和输出 194
7.9.1 read语句 194
7.9.2 write语句 196
7.9.3 标准文件 197
§7.10 工作存贮器的修改 197
7.10.1 make语句 197
7.10.2 modify语句 198
7.10.3 remove语句 199
7.10.4 rhs项 199
7.10.5 元素的多重操作 200
§7.11 On语句 201
§7.12 复合语句 201
第八章 规则的左部 202
§8.1 LHS中的变量 202
§8.2 条件元素 203
§8.3 LHS项 203
§8.4 LHS评估表达式 204
第九章 函数、过程和则规 205
§9.1 过程和函数 205
9.1.1 普通过程和函数 205
9.1.2 简单过程和函数 206
9.1.3 外部过程和函数 206
9.1.4 前置过程和函数 207
§9.2 规则 207
§9.5 实际参数与形式参数的对应 208
§9.4 简单的上下文 208
§9.3 子程序体 208
9.5.1 对实际参数的限制 209
§9.6 缺省值 209
第十章 程序和模块 211
§10.1 模块 211
§10.2 模块体 211
§10.3 Use语句 212
§10.5 模块编译的准则 213
§10.4 包含起始地址的模块 213
第十一章 解释器的数据结构 214
§11.1 工作存贮器 214
§11.2 冲突集 215
第十二章 标准子程序 216
§12.1 检查工作存贮器 216
12.1.1 wsize函数 216
12.1.2 wtype函数 216
12.1.3 wremove函数 216
12.1.4 index函数 217
12.1.5 make函数 217
12.1.6 wput函数 217
§12.2 检查冲突集 218
12.2.1 cssize函数 218
12.2.2 irule函数 218
12.2.3 instance函数 218
§12.3 检查规则的部分匹配 219
12.3.1 cmatches函数 219
12.2.4 iindex函数 219
12.3.2 pmatches函数 220
§12.4 跟踪工作存贮器变化的函数 220
12.4.1 wmctype函数 220
12.4.2 wmcadd函数 221
12.4.3 wmcact函数 221
§12.5 文件操作函数 221
12.5.1 open函数 221
12.5.2 create函数 221
12.5.5 peek函数 222
12.5.3 close函数 222
12.5.4 status函数 222
§12.6 符号操作函数 223
12.6.1 name函数 223
12.6.2 cvsymbol函数 223
12.6.3 cvlogical函数 224
12.6.4 cvinteger函数 224
12.6.5 cvreal函数 224
§12.8 结构型值的操作函数 225
12.7.2 char函数 225
§12.7 字符转换函数 225
12.7.1 ord函数 225
12.8.1 extract函数 226
12.8.2 wextract函数 226
12.8.3 store函数 227
12.8.4 wstore函数 227
12.8.5 compare函数 227
12.8.6 wcompare函数 228
§12.9 命令行的自变量 229
12.9.1 argcnt函数 229
12.9.2 argument函数 229
§12.10 退出主程序 229
12.10.1 exit过程 229
附录A BNF范式中英文对照 231
附录B 英汉名词术语对照表（附索引） 247
附录C OPS83编译错误信息表 254
参考文献 267