当前位置：PROLOG语言pdf电子书下载 > 其他书籍
- 作 者：李永礼，杨萍编著
- 出 版 社：兰州市：兰州大学出版社
- 出版年份：1993
- ISBN：7311007283
- 标注页数：154 页
- PDF页数：159 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源159 ≥154页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 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