Visual Prolog语言教程2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

Visual Prolog语言教程PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一部分 Visual Prolog概述2

第1章Visual Prolog开发环境2

1．1为阅读本书需要安装什么2

1．2启动Visual Prolog可视化开发环境2

1．3创建和运行Test Goal项目举例3

1．4打开编辑器窗口5

1．5运行和测试程序5

1．6语言教程测试用例6

1．6．1在Test Goal中测试例子6

1．6．2测试用例作为单独可执行程序6

1．7处理错误7

第二部分 学习Visual Prolog10

第2章Prolog基本原理10

2．1逻辑程序设计10

2．1．1句子：事实和规则11

2．1．2询问12

2．1．3变量：一般语句14

2．1．4小结15

2．2从自然语言到Prolog程序15

2．2．1子句（事实和规则）15

2．2．2谓词（关系）18

2．2．3变量（一般子句）18

2．2．4目标（询问）21

2．2．5注释23

2．3什么是匹配23

2．4小结24

第3章 Visual Prolog程序结构26

3．1基本程序段26

3．1．1子句段26

3．1．2谓词段27

3．1．3论域段29

3．1．4目标段31

3．2细看声明和规则31

3．2．1声明谓词参数论域34

3．2．2多元谓词36

3．2．3规则语法36

3．2．4自动类型转换37

3．3其他程序段38

3．3．1事实段38

3．3．2常量段38

3．3．3全局段39

3．3．4编译程序命令39

3．4小结40

第4章 合一与回溯42

4．1与事件匹配：合一42

4．2回溯44

4．2．1 Visual Prolog的盲目搜索求解46

4．2．2搜索求解控制54

4．2．3使用fail谓词54

4．2．4阻止回溯：截断55

4．3．1规则和事实如同过程63

4．3从过程观点看Prolog63

4．3．2规则与Case语句64

4．3．3在规则内部执行测试64

4．3．4截断与GoTo语句65

4．3．5返回计算值66

4．4小结67

第5章 简单对象与复合对象69

5．1简单数据对象69

5．1．1变量作为数据对象69

5．1．2常量作为数据对象69

5．2复合数据对象与算符71

5．2．1复合对象的合一72

5．2．2将几项作一项处理73

5．2．3声明复合对象论域76

5．2．4复合型混合论域声明80

5．3小结81

6．1．1再论回溯83

第6章 重复与递归83

6．1．2用循环实现回溯86

6．1．3递归程序87

6．1．4尾部递归优化88

6．1重复过程93

6．1．5用参数作循环变量93

6．2递归数据结构96

6．2．1树作为数据类型97

6．2．2二叉搜索树101

6．3小结107

第7章 表与递归108

7．1什么是表108

7．1．1声明表108

7．2表处理109

7．3使用表110

7．3．1输出表110

7．3．2表元素计数111

7．3．3再论尾部递归113

7．3．4表成员115

7．3．5表合并116

7．4同时找到所有解118

7．5复合表119

7．6小结124

第8章 内部事实数据库126

8．1声明事实数据库126

8．2使用事实数据库127

8．2．1访问事实数据库127

8．2．2更新事实数据库128

8．2．3确定事实属性的关键字132

8．3举例134

8．4小结137

9．1算术表达式139

9．1．1运算139

第9章 算术与比较运算139

9．1．2求值顺序140

9．2函数和谓词140

9．2．1产生随机数141

9．2．2整型和实型算术运算142

9．3比较运算145

9．3．1等价谓词145

9．3．2比较字符、字符串和符号148

第10章 高级技术149

10．1流程分析149

10．1．1谓词的流程模式151

10．1．2控制流程分析151

10．1．3引用变量152

10．1．4声明引用论域153

10．1．5引用论域与跟踪矩阵154

10．1．6使用引用论域154

10．1．7再谈流程模式155

10．1．8使用带有引用论域的二叉树156

10．1．9使用引用论域排序157

10．2函数和返回值158

10．3确定性管理机制160

10．4谓词作为参数164

10．4．1谓词值164

10．4．2谓词论域165

10．5二进制论域170

10．5．3创建二进制项171

10．5．1二进制项的实现171

10．5．2二进制项正文语法171

10．5．4访问二进制项172

10．5．5合一二进制项172

10．5．6举例173

10．5．7转换二进制项174

10．6模块化程序设计175

10．6．1全局声明175

10．7错误和异常处理180

10．6．2项目180

10．7．1异常处理和错误陷阱181

10．7．2错误报告183

10．7．3处理读项错误184

10．8中断控制185

10．8．1中断和信号检查186

10．8．2关键错误处理190

10．9动态截断191

10．10自由类型转换193

10．11程序设计风格193

10．11．1有效的编程规则193

10．11．2使用fail谓词195

10．11．3确定性与不确定性：设置截断196

第11章 类与对象197

11．1对象机制197

11．2．1类声明198

11．2 Visual Prolog的类198

11．2．2类实现199

11．3类实例——对象199

11．4类论域201

11．5派生类及继承202

11．6虚谓词204

11．7静态事实和谓词205

11．8引用对象自身（谓词this）206

11．9类的作用范围207

11．10自定义构造函数和析构函数209

11．11抽象类210

11．12保护性谓词、论域和事实212

11．13派生类的访问控制212

11．14对象谓词值213

11．15类的形式语法219

12．1．1写谓词222

12．1写谓词与读谓词222

第12章 文件操作谓词222

第三部分 使用Visual Prolog222

12．1．2读谓词228

12．1．3二进制块传送230

12．2文件系统管理231

12．2．1打开和关闭文件232

12．2．2重定向标准I/O235

12．2．3文件操作235

12．2．4文件属性239

12．3文件名和通路名241

12．4目录搜索243

12．5操纵文件属性246

12．6处理文本文件中的项247

12．7文件操作谓词小结249

第13章 字符串处理谓词252

13．1基本串处理谓词252

13．2类型转换谓词256

13．3程序举例258

13．4串处理谓词小结260

第14章 外部数据库系统261

14．1外部数据库结构261

14．1．1外部数据库组成261

14．1．2链结构263

14．1．3外部数据库论域264

14．1．4外部数据库谓词265

14．1．5链操作谓词269

14．1．6项操作谓词270

14．1．7程序举例271

14．2B+树274

14．2．1页、阶和键长274

14．2．2重复键274

14．2．3多趟扫描275

14．2．4B+树标准谓词275

14．2．5经由B+树访问数据库举例277

14．3．1扫描数据库279

14．3外部数据库编程279

14．3．2显示数据库内容280

14．3．3实现数据库安全282

14．3．4更新数据库283

14．3．5使用内部B+树指针286

14．3．6改变数据库结构287

14．3．7共享文件和外部数据库289

14．3．8文件共享论域290

14．3．9以共享方式打开数据库290

14．3．10文件共享编程292

14．3．11实现高级加锁294

14．3．12文件共享举例295

14．3．13文件共享实现300

14．4杂务谓词300

14．5小结301

15．1访问操作系统302

第15章 系统级编程302

15．2时间服务304

15．3位级操作307

15．4访问硬件：低级支持309

15．5小结311

第16章 Prolog程序举例313

16．1构建一个小型专家系统313

16．2路由问题原型设计317

16．3危险洞穴历险318

16．4硬件仿真320

16．5 Hanoi塔321

16．6划分单词为音节323

16．7 N个皇后问题325

第四部分 程序员指南330

第17章 语言元素330

17．1命名330

17．1．1关键字330

17．2程序段331

17．1．2特殊处理谓词331

17．2．1论域段332

17．2．2谓词段337

17．2．3事实段340

17．2．4子句段341

17．2．5目标段345

17．2．6常量段345

17．3在程序中使用包含文件347

17．2．7条件编译347

17．4模块和全局编程结构348

17．4．1编译单元348

17．4．2全局作用范围的名字348

17．4．3多模块程序的包含结构349

17．4．4公共类成员限制规则350

17．4．5多模块项目编译选项351

17．5编译程序命令352

17．6 Visual Prolog存储管理355

17．6．1存储区限制356

17．6．2释放多余的内存资源357

第18章 与其他语言的接口358

18．1使用动态连接库358

18．2从Visual Prolog调用其他语言358

18．2．1声明外部谓词358

18．2．2调用约定和参数传递359

18．3．1简单论域362

18．3．2复杂论域362

18．3论域的实现362

18．4存储器考虑364

18．4．1内存对齐方式364

18．4．2存储分配365

18．5举例368

18．5．1表处理368

18．5．2从其他语言调用Prolog370

18．5．3从Visual Prolog调用汇编例程372

附录A 谓词索引（按功能分类）375

附录B 谓词索引（按字母顺序）378