Screen Library逻辑编程导论 = Introduction to logic programming
Saved in:
| Main Authors: | ; |
|---|---|
| Group Author: | ; ; ; |
| Published: |
机械工业出版社
|
| Publisher Address: | 北京 |
| Publication Dates: | 2021 |
| Literature type: | Book |
| Language: | Chinese |
| Series: |
计算机科学丛书 |
| Subjects: | |
| Carrier Form: | 183页: ; 26cm |
| ISBN: | 978-7-111-69181-5 |
| Index Number: | TP273 |
| CLC: | TP273 |
| Call Number: | TP273/4643 |
| Contents: |
华章教育 斯坦福大学逻辑编程公开课（CS151）教材 涵盖基本原理及流行应用 本书介绍了逻辑编程理论、当前技术和流行的应用程序。本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始，沿着这一基本概念，引入视图(即虚拟关系)，将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作，如“添加”和“删除”，将动态逻辑程序定义为一组动作定义集。 |
| Note: | 译者还有：甘健侯、孟祥栋、刘付依萍、欧阳昭相 |