《IBM-PC计算机人工智能语言 GCLISP和micro-PROLOG》求取 ⇩

前言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　快速启动GCLISP19

第二部分　GCLISP用户指南21

第一章　GCLISP解释程序21

1.1　进入GCLISP21

1.2　退出GCLISP22

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　编辑LISP51

2.5　功能键表54

2.6　光标移动键表55

2.7　GMACS命令参考简表55

2.8　GMACS命令：快速参考表62

第三章　在线辅导设备66

3.1　APROPOS66

3.2　DOC68

3.3　LAMBDA—LIST69

4.1 BREAK71

第四章　GCLISP调试71

4.2 BACKTRACE73

4.3 TRACE74

4.4 STEP74

4.5 PRINT77

第五章 应用钢琴程序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-mmod209

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/O220

6.4　文件I/O222

6.5　文件操作225

6.6　记录I/O226

6.7　项的组成和分解228

6.8　类型谓词229

6.9　逻辑操作230

6.10　数据库操作233

参考文献235