第一章 算术谓词和函数 1
第二章 标准谓词分类索引 2
第三章 标准谓词详解 14
3.1 描述说明 14
3.2 标准谓词详解 15
第四章 海龟图形谓词 141
第五章 编译指令概览 144
第六章 改进的Turbo Prolog交互式编辑程序 146
6.1 快速进入和退出编辑程序 146
6.2 编辑窗口状态行 146
6.3 编辑命令 147
6.3.1 基本光标移动命令 147
6.3.2 快速光标移动命令 147
6.3.3 插入和删除命令 147
6.3.4 块操作命令 150
6.3.5 其它编辑命令 151
6.4 “老式”编辑命令 152
6.5 Turbo Prolog编辑程序与WordStar之比较 153
第七章 TLIB：Turbo库管理工具 155
7.1 TLIB是什么 155
7.2 TLIB命令行组成 155
7.2.1 操作表 156
7.2.2 建库 157
7.2.3 使用响应文件 157
7.3 高级操作：／C选择项 158
7.4 例子 158
第八章 TLINK：Turbo连接程序 159
8.1 调用TLINK 159
8.1.1 使用响应文件 160
8.1.2 连接Turbo Prolog和Turbo C模块 161
8.2 TLINK选择项 162
8.3 限制 165
8.4 出错信息 165
8.4.1 警告 166
8.4.2 非灾难性错误 166
8.4.3 灾难性错误 167
附录A 使用Turbo Prolog的句子分析程序 169
A.1 示教选择项 169
A.2 操作系统选择项 169
A.3 编辑数据库选择项 169
A.4 从文件装入数据库选择项 170
A.5 保存数据库选择项 170
A.6 分析句子选择项 170
A.7 显示／修改语言选择项 170
附录B 使用专家系统外壳程序 172
B.1 运行GENI 172
B.2 GENI咨询 172
B.3 知识库列表 173
B.4 修改知识库 173
B.5 保存知识库 174
B.6 建立新的知识库 174
B.6.1 删除当前知识库 174
B.6.2 建立一个新的知识库 174
B.6.3 编辑知识库 176
B.7 附加选择项 176
B.8 退出GENI 176
主要参考文献 176