前言 1
第一部分 GCLISP简介 1
引言 1
目录 1
第一章 GCLISP系统的安装和启动 2
1.1 GCLISP软件及参考资料 2
1.2 GCLISP对PC机系统的要求 2
2.2 课文调用方法 3
1.3 GCLISP安装步骤 3
1.4 GCLISP启动方式 4
1.5 其他注意事项 5
第二章 GCLISP在线示教演示程序 7
2.1 示教课程内容 7
2.3 课文幕页控制 9
2.4 注意事项 10
第三章 错误信息、兼容性说明及快速启动 11
3.1 错误信息 11
3.2 兼容性说明 15
3.3 快速启动GCLISP 19
第二部分 GCLISP用户指南 21
第一章 GCLISP解释程序 21
1.1 进入GCLISP 21
1.2 退出GCLISP 22
1.3 在线辅导 23
1.4 解释程序的组合键命令 24
1.6 LISP的求值 25
1.5 读一求值一打印循环 25
1.7 跟踪收听程序操作的系统变量 27
1.8 收听程序的层次 29
1.9 一般用户错误和GCLISP错误信息 30
1.10 装入输入文件 32
1.11 COMMONLISP惯用法(或约定)表格 33
第二章 GMACS编辑程序 34
2.1 GMACS环境 34
2.2 缓冲区和文件的处理 40
2.3 文本编辑 42
2.4 编辑LISP 51
2.5 功能键表 54
2.6 光标移动键表 55
2.7 GMACS命令参考简表 55
2.8 GMACS命令:快速参考表 62
第三章 在线辅导设备 66
3.1 APROPOS 66
3.2 DOC 68
3.3 LAMBDA—LIST 69
4.1 BREAK 71
第四章 GCLISP调试 71
4.2 BACKTRACE 73
4.3 TRACE 74
4.4 STEP 74
4.5 PRINT 77
第五章 应用钢琴程序 81
5.1 钢琴键盘程序的组成元素 81
5.2 音乐函数和变量 85
1.1 GCLISP式子的分类 89
第三部分 GCLISP系统函数及程序设计 89
第一章 概述 89
1.2 符号约定说明 93
1.3 数据类型 94
第二章 基本函数 96
2.1 数值运算函数 96
2.2 求值与赋值函数 101
2.3 表处理函数 103
2.4 序列处理函数 109
3.1 数据类型谓词 111
第三章 控制流程的LISP式子 111
3.2 等值谓词 113
3.3 逻辑函数 113
3.4 条件式 114
3.5 迭代式 115
3.6 映射函数 118
3.7 调用函数的函数 119
3.8 闭包 119
3.9 栈组 120
3.10 其他类型函数 121
第四章 定义函数和变量的函数 123
4.1 变量的定义 123
4.2 定义函数的函数 123
4.3 宏函数 124
4.4 结构 125
第五章 符号原子、特性表及包 127
5.1 符号原子及特性表 127
5.2 包(package) 128
第六章 流(stream) 130
6.1 流 130
6.2 输入输出函数 131
6.3 文件管理函数 133
第七章 字符及字符串处理函数 137
7.1 字符处理函数 137
7.2 字符串处理函数 138
8.1 数组(array) 140
第八章 其它函数 140
8.2 出错函数 141
8.3 调试函数 142
8.4 其它杂类函数 143
第九章 简单的程序设计 146
9.1 如何定义函数及宏 146
9.2 递归定义函数 149
9.3 用循环方式定义函数 151
9.4 用映射函数定义函数 152
10.1 搜索程序 154
第十章 实用程序举例 154
10.2 符号的模式匹配程序 157
第四部分 micro-PROLOG语言 161
引言 161
第一章 SIMPLE语法 164
1.1 项 164
1.2 简单句 165
1.3 条件句 166
1.4 询问 168
1.5 表处理 170
1.6 命令 172
1.7 PROLOG的执行过程 178
1.8 复合条件 181
1.9 限制一个条件只有一个解 186
1.10 用“/”条件控制回溯 187
1.11 变量作为关系名和变元表使用 187
1.12 常量作为变量使用 189
2.1 简单句 190
第二章 标准语法 190
2.2 条件句 191
2.3 询问 191
2.4 命令 191
第三章 模块 195
3.1 构造模块 195
3.2 系统模块 198
第四章 管理程序的MICRO扩充 206
4.1 micro-mod提供的关系及命令 206
4.2 MICRO中的表达式 208
4.3 错误处理模块errtrap-mmod 209
4.4 外部关系 210
4.5 跟踪及结构编辑 210
第五章 程序设计举例 211
5.1 传教士与野人问题 211
5.2 N-皇后问题 213
5.3 排序问题 214
第六章 内部谓词 217
6.1 算术运算 217
6.2 字符串操作 219
6.3 控制台I/O 220
6.4 文件I/O 222
6.5 文件操作 225
6.6 记录I/O 226
6.7 项的组成和分解 228
6.8 类型谓词 229
6.9 逻辑操作 230
6.10 数据库操作 233
参考文献 235