机读格式显示(MARC)

• 000 01719nam 2200409 450

• 001 0000403490

• 005 20211218112600.0

• 010 __ |a 978-7-111-69181-5 |d CNY79.00

• 021 __ |a CN |b 01-2020-6461

• 099 __ |a CAL 012021135664

• 100 __ |a 20211013d2021 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 逻辑编程导论 |A luo ji bian cheng dao lun |d Introduction to logic programming |f (美)迈克尔·吉内塞雷斯(Michael Genesereth), 维奈·K.乔杜里(Vinay K. Chaudhri)著 |g 徐坚[等]译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2021

• 215 __ |a 183页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 304 __ |a 题名页题其余译者: 甘健侯, 孟祥栋, 刘付依萍, 欧阳昭相

• 305 __ |a 据2020年英文版译出

• 320 __ |a 有书目 (第182-183页)

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

• 333 __ |a 计算机科学专业本科生、研究生及对逻辑编程感兴趣的读者

• 410 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a Introduction to logic programming |z eng

• 606 0_ |a 逻辑控制 |A luo ji kong zhi |x 程序设计

• 690 __ |a TP273 |v 5

• 701 _1 |c (美) |a 吉内塞雷斯 |A ji nei sai lei si |c (Genesereth, Michael) |4 著

• 701 _1 |c (美) |a 乔杜里 |A qiao du li |c (Chaudhri, Vinay K.) |4 著

• 702 _0 |a 徐坚 |A xu jian |4 译

• 702 _0 |a 甘健侯 |A gan jian hou |4 译

• 702 _0 |a 孟祥栋 |A meng xiang dong |4 译

• 801 _0 |a CN |b WHUTL |c 20211130

• 905 __ |a XATU |d TP273/746

• 920 __ |a 261060 |z 1

• 998 __ |a WHUT