《第五代计算机语言PROLOG入门》求取 ⇩

目录1

第一章 理论基础1

第一节 数理逻辑1

第二节 谓词逻辑11

习题一16

第二章 历史背景19

第一节 软件危机19

第二节 冯·诺曼语言20

第三节 新一代程序设计语言22

习题二23

第三章 PROLOG简介25

第一节 PROLOG语言的程序结构25

第二节 变量29

第三节 PROLOG程序的执行过程31

第四节 PROLOG的特点38

习题三39

第四章 PROLOG的语法和语义42

第一节 PROLOG的语法42

第二节 PROLOG的语义44

习题四48

第五章 PROLOG的深入探讨50

第一节 PROLOG的多重解50

第二节 表结构53

第三节 切断操作59

第四节 Horn子句68

习题五72

第六章 内部谓词75

第一节 内部谓词75

第二节 内部谓词举例76

习题六86

第七章 PROLOG的应用及程序举例88

习题七106

第八章 结束语107

第一节 第五代计算机与PROLOG107

第二节 PROLOG小结110

习题八115

附录:参考答案116

参考文献135

1986《第五代计算机语言PROLOG入门》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由李英华编著 1986 北京:宇航出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

计算机第四代语言(1996 PDF版)
计算机第四代语言
1996 北京:电子工业出版社
计算机入门(1986 PDF版)
计算机入门
1986
计算机入门(1984 PDF版)
计算机入门
1984
计算机第四代语言( PDF版)
计算机第四代语言
电子计算机入门( PDF版)
电子计算机入门
计算机入门( PDF版)
计算机入门
北京电子报编辑部
微型计算机入门及基本BASIC语言(1985 PDF版)
微型计算机入门及基本BASIC语言
1985 北京:测绘出版社
计算机绘图入门(1986 PDF版)
计算机绘图入门
1986 福州:福建科学技术出版社
计算机入门(1991 PDF版)
计算机入门
1991 北京:科学技术文献出版社
计算机入门(1984 PDF版)
计算机入门
1984 北京:北京日报出版社
安全科学技术词典(1991 PDF版)
安全科学技术词典
1991 中国劳动出版社
Micro-PROLOG入门(1988 PDF版)
Micro-PROLOG入门
1988 天津:南开大学出版社
微机计算机入门及基基本BASIC语言(1985 PDF版)
微机计算机入门及基基本BASIC语言
1985 北京:测绘出版社
算法语言ALGOL60入门(1976 PDF版)
算法语言ALGOL60入门
1976 北京:科学出版社
简明计算机入门(1979 PDF版)
简明计算机入门
1979 北京:国防工业出版社