扫一扫
关注中图网
官方微博
>
关于“[美]迈克尔·吉内塞雷斯(...”检索到 共1种现货商品
售价：
-
逻辑编程导论
¥56.1(7.1折)定价:¥79.0本书采用一种创新的模型论进行逻辑编程，从数据集的基本概念(即闭原子集)开始。沿着这一基本概念，我们引入视图(即虚拟关系)；我们将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除...
