关于我们
书单推荐
新书推荐

逻辑编程导论

 逻辑编程导论

定  价:79 元

丛书名:计算机科学丛书

        

  • 作者:[美]迈克尔·吉内塞雷斯(Michael Genesereth),[美]维奈·K.乔杜里(Vinay K. Chaudhri)
  • 出版时间:2021/10/1
  • ISBN:9787111691815
  • 出 版 社:机械工业出版社
  • 中图法分类:TP273 
  • 页码:
  • 纸张:胶版纸
  • 版次:
  • 开本:16开
9
7
6
8
9
7
1
1
8
1
1
1
5
本书采用一种创新的模型论进行逻辑编程,从数据集的基本概念(即闭原子集)开始。沿着这一基本概念,我们引入视图(即虚拟关系);我们将经典逻辑程序定义为视图定义集,使用传统的类似于Prolog的表示法编写,但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作,如添加和删除。
 你还可能感兴趣
 我要评论
您的姓名   验证码: 图片看不清?点击重新得到验证码
留言内容