PROLOG语言

作者：李永礼，杨萍编著
出版社：兰州市：兰州大学出版社
出版年份：1993
ISBN：7311007283
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
8
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

第一章 PROLOG的逻辑基础 1

命题逻辑 1

谓词逻辑、归结原理 11

第二章基本结构 21

PROLOG的三种基本语句 21

项 29

实例 32

习题 37

第三章递归结构 40

表 40

二叉树 52

实例 53

习题 59

第四章 PROLOG的搜索方式 61

PROLOG的搜索与回溯 62

截断 71

PROLOG程序的手工跟踪 80

第五章内部谓词 93

运算符及其定义 93

项的分类 101

结构成份的取出和建立 105

影响回溯的其他内部谓词 114

输入与输出 118

程序的增删改内部谓词 132

第六章应用 143

问题求解 143

数学应用程序 146

逻辑与数据库 148

自然语言分析 151

参考文献 154