浙江药科职业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

逻辑编程导论/(美) 迈克尔·吉内塞雷斯, 维奈·K. 乔杜里著 徐坚 ... [等] 译

出版发行项:

北京:机械工业出版社,2021

ISBN及定价:

978-7-111-69181-5/CNY79.00

载体形态项:

183页:图;26cm

统一题名:

Introduction to logic programming

丛编项:

计算机科学丛书

个人责任者:

吉内塞雷斯 (Genesereth, Michael) 著

个人责任者:

乔杜里 (Chaudhri, Vinay K.) 著

个人次要责任者:

徐坚 译

个人次要责任者:

甘健侯 译

个人次要责任者:

孟祥栋 译

学科主题:

逻辑控制-程序设计

中图法分类号:

TP273

一般附注:

华章教育 斯坦福大学逻辑编程公开课(CS151)教材 涵盖基本原理及流行应用

题名责任附注:

译者还有: 甘健侯, 孟祥栋, 刘付依萍, 欧阳昭相

出版发行附注:

美国摩根&克莱普尔出版公司通过锐拓传媒授权出版

书目附注:

有书目 (第182-183页)

提要文摘附注:

本书介绍了逻辑编程理论、当前技术和流行的应用程序。本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始，沿着这一基本概念，引入视图(即虚拟关系)，将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作，如“添加”和“删除”，将动态逻辑程序定义为一组动作定义集。

豆瓣简介：