IBM-PC机编译型PROLOG语言

目录
第一章　引言
第二章　启动
2.1　主菜单
2.2　例子程序
2.3　编辑程序
2.3.1　基本操作
2.3.2　字块操作
2.3.3　搜索替换
2.4　追踪
2.5　改变窗口设置
2.5.1　临时改变窗口
2.5.2　保留窗口构型
第三章　例子
3.1 变量
3.2　对象与关系
3.3　领域与谓词
3.4　复合目标
3.5　无名变量
3.6 回溯
3.7　not的用法
3.8　注解
3.9　例子
练习
第四章　领域、对象与表
4.1 自由与约束变量
4.2　标准领域类型
4.3　复合对象
4.3.1　复合对象的领域说明
4.3.2　复合对象的层次表达
4.4　递归与表
4.4.1　递归对象
4.4.2 表
4.4.3　陈述式与过程式程序设计
练习
第五章　搜索
5.1　合一
5.2　搜索的控制
5.3　阻止回溯的截断元素
练习
第六章　算术运算、输入输出和调试追踪
6.1　算术运算
6.1.1　算术表达式的求值顺序
6.1.2　比较
6.1.3　算术函数与谓词
6.2　输入输出
6.2.1 写
6.2.2　读
6.3　调试追踪
练习
第七章　窗口
7.1　窗口属性
7.2　窗口设置
7.3　窗口读写
7.4　窗口游戏
7.5　DOS交互
第八章　图形和声音
8.1　图形
8.2　声音
第九章　文件和串
9.1　文件控制
9.2　串
9.3　类型转换
9.4 findall和random
第十章　应用
10.1 专家系统
10.2　路径问题
10.3　洞穴探宝
10.4 硬件模拟
10.5　梵塔问题
10.6　音节划分
10.7　皇后问题
10.8　键盘利用
10.9　美国地理
第十一章　用户指南
11.1　系统概貌
11.2　语言元素
11.2.1　名字
11.2.2　程序段
11.2.3　领域说明
11.2.4　谓词说明
11.2.5　子句
11.3　存贮管理
11.4　编译指令
11.4.1 checkk_cmpio
11.4.2 check_determ
11.4.3 code
11.4.4 diagnostics
11.4.5 include
11.4.6 nobreak
11.4.7 nowarnings
11.4.8 proj ect
11.4.9 trace和shorttrace
11.4.10 trail
11.5 动态数据库
11.5.1 数据库说明
11.5.2 事实处理
11.5.3 文件型数据库
11.6 参量模式
11.7 程序设计风格
11.7.1 堆栈的考虑与尾递归删除
11.7.2 fail谓词的应用
11.7.3 截断元素的设置
117.4 参考领域
11.8 可执行文件的生成
11.9 模块程序设计
11.9.1 工程
11.9.2 全局领域和全局谓词
11.9.3 模块的编译和连接
11.9.4 例子
11.10 同其它语言的接口
11.10.1 外部谓词说明
11.10.2 调用约定与参量
11.10.3 命名约定
11.10.4 同汇编语言的交互
11.10.5 同C、PASCAL和FORTRAN的交互
11.10.6 低级支撑
11.11 编辑程序的随机调用
11.12 列目录与格式输出
第十二章 参考手册
12.1 配书软盘
12.2 启动文件
12.3 主菜单
12.3.1 运行命令Run
12.3.2 编译命令Compiler和选择菜单Opitons
12.3.3 编辑命令Edit
12.3.4 文件菜单Files
12.3.5 设置菜单Setup
12.4 退出命令
12.5 语言语法
12.6 系统限制
12.7 出错信息
文献
索引