|
题名:
|
逻辑编程导论 / (美)迈克尔·吉内塞雷斯(Michael Genesereth), (美)维奈·K. 乔杜里(Vinay K. Chaudhri)著 , 徐坚[等]译 |
|
ISBN:
|
978-7-111-69181-5 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
183页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2021 |
|
内容提要:
|
本书介绍了逻辑编程理论、当前技术和流行的应用程序。本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始,沿着这一基本概念,引入视图(即虚拟关系),将经典逻辑程序定义为视图定义集,使用传统的类似于Prolog的表示法编写,但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作,如“添加”和“删除”,将动态逻辑程序定义为一组动作定义集。 |
|
主题词:
|
逻辑控制 程序设计 |
|
中图分类法:
|
TP273 版次： 5 |
|
主要责任者:
|
吉内塞雷斯 著 |
|
主要责任者:
|
乔杜里 著 |
|
次要责任者:
|
徐坚 译 |
|
次要责任者:
|
甘健侯 译 |
|
次要责任者:
|
孟祥栋 译 |
|
次要责任者:
|
刘付依萍 译 |
|
附注:
|
华章教育 斯坦福大学逻辑编程公开课(CS151)教材 涵盖基本原理及流行应用 |