图书介绍

PROLOG语言，它的应用与实现2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

PROLOG语言，它的应用与实现
  • 刘椿年，曹德和著 著
  • 出版社： 北京：科学出版社
  • ISBN：7030017404
  • 出版时间：1990
  • 标注页数：302页
  • 文件大小：9MB
  • 文件页数：311页
  • 主题词：

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：f642135fae0c0544e6cd1565becde793

下载说明

PROLOG语言，它的应用与实现PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

图书目录

目录1

第一章 基本的PROLOG程序设计1

1.1 引例1

1.2 PROLOG的语法7

1.3 PROLOG的非形式语义11

1.4 表和表处理17

1.5 PROLOG程序设计——潜力与陷井26

习题31

第二章 使用预定义谓词的PROLOG程序设计33

2.1 附加的控制机制34

2.2 算术运算39

2.3 项的分类和项内符号处理41

2.4 输入输出43

2.5 交互式运行环境45

2.6 数据库的动态增删46

＊2.7 中缀形式47

2.8 其他预定义谓词和标识符50

2.9 小型应用程序的编制和例子51

2.10 PROLOG程序设计技巧58

习题62

第三章 逻辑程序设计理论基础64

3.1 一阶谓词逻辑的Horn子集与逻辑程序65

3.2 逻辑程序的形式化说明性语义69

3.3 逻辑程序的形式化过程性语义82

3.4 PROLOG的运行机制94

习题100

第四章 PROLOG与人工智能搜索算法102

4.1 回溯算法104

4.2 A＊算法111

4.3 α-β过程115

习题122

第五章 PROLOG与编译程序构造124

5.1 递归下降法语法分析程序的构造125

5.2 LR（0）项目集规范族的构造132

5.3 自动代码生成系统141

习题147

第六章 PROLOG与自然语言处理148

6.1 词法分析148

6.2 语法分析程序及其构造工具151

6.3 语义分析157

＊6.4 用自然语言查询数据库166

习题174

第七章 PROLOG与函数型程序设计176

7.1 用PROLOG描述函数型语言的解释器176

7.2 逻辑型语言与函数型语言之比较188

7.3 两类语言相结合的问题189

7.4 综合型语言的实例196

习题208

第八章 PROLOG与知识工程209

8.1 专家系统209

8.2 专家系统外壳Shell221

8.3 演绎数据库234

习题241

第九章 PROLOG的解释实现242

9.1 “编译”阶段242

9.2 解释阶段246

9.3 存贮优化技术263

习题270

第十章 PROLOG的编译实现272

10.1 PROLOG的编译优化272

10.2 PROLOG到PASCAL的翻译284

10.3 基于Warren抽象机的PROLOG编译296

习题300

参考文献301

热门推荐