IBM-PC计算机人工智能语言 GCLISP和micro-PROLOGPDF电子书下载

前言 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