目录 1
第一章 引言 1
第二章 启动 5
2.1 主菜单 5
2.2 例子程序 6
2.3 编辑程序 9
2.3.1 基本操作 9
2.3.2 字块操作 9
2.3.3 搜索替换 11
2.4 追踪 12
2.5 改变窗口设置 14
2.5.1 临时改变窗口 14
2.5.2 保留窗口构型 15
第三章 例子 16
3.1 变量 18
3.2 对象与关系 19
3.3 领域与谓词 20
3.4 复合目标 22
3.5 无名变量 22
3.6 回溯 23
3.7 not的用法 26
3.8 注解 29
3.9 例子 29
练习 33
第四章 领域、对象与表 37
4.1 自由与约束变量 37
4.2 标准领域类型 39
4.3 复合对象 42
4.3.1 复合对象的领域说明 43
4.3.2 复合对象的层次表达 46
4.4 递归与表 48
4.4.1 递归对象 51
4.4.2 表 52
4.4.3 陈述式与过程式程序设计 55
练习 57
第五章 搜索 61
5.1 合一 61
5.2 搜索的控制 64
5.3 阻止回溯的截断元素 70
练习 74
第六章 算术运算、输入输出和调试追踪 75
6.1 算术运算 75
6.1.1 算术表达式的求值顺序 75
6.1.2 比较 76
6.1.3 算术函数与谓词 80
6.2 输入输出 82
6.2.1 写 82
6.2.2 读 86
6.3 调试追踪 89
练习 91
第七章 窗口 94
7.1 窗口属性 94
7.2 窗口设置 96
7.3 窗口读写 97
7.4 窗口游戏 103
7.5 DOS交互 108
第八章 图形和声音 112
8.1 图形 112
8.2 声音 120
第九章 文件和串 123
9.1 文件控制 123
9.2 串 130
9.3 类型转换 134
9.4 findall和random 137
第十章 应用 140
10.1 专家系统 140
10.2 路径问题 146
10.3 洞穴探宝 148
10.4 硬件模拟 152
10.5 梵塔问题 153
10.6 音节划分 158
10.7 皇后问题 161
10.8 键盘利用 164
10.9 美国地理 169
第十一章 用户指南 219
11.1 系统概貌 219
11.2 语言元素 220
11.2.1 名字 220
11.2.2 程序段 222
11.2.3 领域说明 223
11.2.4 谓词说明 225
11.2.5 子句 226
11.3 存贮管理 228
11.4 编译指令 230
11.4.1 checkk_cmpio 230
11.4.2 check_determ 231
11.4.3 code 231
11.4.4 diagnostics 232
11.4.5 include 232
11.4.6 nobreak 233
11.4.7 nowarnings 234
11.4.8 proj ect 234
11.4.9 trace和shorttrace 234
11.4.10 trail 236
11.5 动态数据库 237
11.5.1 数据库说明 237
11.5.2 事实处理 239
11.5.3 文件型数据库 241
11.6 参量模式 245
11.7.1 堆栈的考虑与尾递归删除 247
11.7 程序设计风格 247
11.7.2 fail谓词的应用 251
11.7.3 截断元素的设置 252
117.4 参考领域 252
11.8 可执行文件的生成 257
11.9 模块程序设计 258
11.9.1 工程 258
11.9.2 全局领域和全局谓词 259
11.9.3 模块的编译和连接 260
11.9.4 例子 261
11.10 同其它语言的接口 262
11.10.1 外部谓词说明 263
11.10.2 调用约定与参量 263
11.10.3 命名约定 264
11.10.4 同汇编语言的交互 264
11.10.5 同C、PASCAL和FORTRAN的交互 267
11.10.6 低级支撑 268
11.11 编辑程序的随机调用 271
11.12 列目录与格式输出 272
第十二章 参考手册 274
12.1 配书软盘 274
12.2 启动文件 279
12.3 主菜单 280
12.3.1 运行命令Run 280
12.3.2 编译命令Compiler和选择菜单Opitons 281
12.3.3 编辑命令Edit 282
12.3.4 文件菜单Files 288
12.3.5 设置菜单Setup 290
12.4 退出命令 292
12.5 语言语法 292
12.6 系统限制 297
12.7 出错信息 297
文献 305
索引 306