Prolog入门:事实、规则与查询
"Learn Prolog Now 是一个入门级的教程,旨在介绍逻辑编程语言Prolog的基本概念和使用方法。教程作者包括Patrick Blackburn、Johan Bos和Kristina Striegnitz,内容涵盖了事实、规则和查询的简单示例,以及Prolog的术语、原子、变量等语法概念的系统性研究。此外,还提供了实践练习和在线课程资源以加深理解。" 在"Learn Prolog Now"这个教程中,我们首先会接触到Prolog的核心要素: 1. **事实(Facts)**:它们是Prolog知识库中的基础信息,通常表示为断言,如`father(john,mary)`表示约翰是玛丽的父亲。 2. **规则(Rules)**:规则由头(Head)和体(Body)两部分组成,用`->`或`;`分隔。例如,`descendant(X,Y) :- father(Z,X), descendant(Z,Y)`表示如果X是Z的儿子并且Z是Y的后代,那么X也是Y的后代。 3. **查询(Queries)**:是向Prolog系统询问问题的方式,例如`descendant(john,mary)`,系统会尝试找到匹配的规则来解答。 接下来,教程深入讲解了Prolog的语法: - **原子(Atoms)**:非空且不含空白的字符序列,如`john`或`male`。 - **数字(Numbers)**:Prolog支持整数和浮点数,如`42`或`3.14`。 - **变量(Variables)**:以大写字母开头的符号,用于匹配任意值,如`X`和`Y`。变量在匹配过程中可以捕获值。 - **复杂项(Complex Terms)**:由原子和变量组成的结构,如`father(X,Y)`。 教程还涉及到了匹配(Matching)和证明搜索(Proof Search)的概念: - **匹配**:是Prolog中寻找模式与数据之间的对应关系的过程,例如`father(X,mary)`可能与`father(john,mary)`匹配,其中`X`被绑定到`john`上。 - **发生检查(Occurs Check)**:防止无限递归的一种机制,阻止变量在匹配时直接或间接地与其自身相等。 - **基于匹配的编程**:通过定义模式来构建规则,实现程序功能。 最后,教程涵盖了递归: - **递归定义**:Prolog中的函数可以自引用,如计算后代关系或计算数的后继者。 - **子句排序、目标排序和终止条件**:对于递归函数,正确排序和终止条件至关重要,以确保程序的正确执行和效率。 教程中每个章节末尾都有练习题和实践环节,帮助学习者巩固所学知识并应用到实际编程中。通过"Learn Prolog Now",初学者可以逐步掌握Prolog语言的精髓,理解逻辑编程的思想,并能够编写自己的Prolog程序。
![](https://csdnimg.cn/release/download_crawler_static/5061844/bg10.jpg)
![](https://csdnimg.cn/release/download_crawler_static/5061844/bg11.jpg)
![](https://csdnimg.cn/release/download_crawler_static/5061844/bg12.jpg)
![](https://csdnimg.cn/release/download_crawler_static/5061844/bg13.jpg)
![](https://csdnimg.cn/release/download_crawler_static/5061844/bg14.jpg)
剩余183页未读,继续阅读
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![txt](https://img-home.csdnimg.cn/images/20210720083642.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
- 粉丝: 0
- 资源: 3
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- AirKiss技术详解:无线传递信息与智能家居连接
- Hibernate主键生成策略详解
- 操作系统实验:位示图法管理磁盘空闲空间
- JSON详解:数据交换的主流格式
- Win7安装Ubuntu双系统详细指南
- FPGA内部结构与工作原理探索
- 信用评分模型解析:WOE、IV与ROC
- 使用LVS+Keepalived构建高可用负载均衡集群
- 微信小程序驱动餐饮与服装业创新转型:便捷管理与低成本优势
- 机器学习入门指南:从基础到进阶
- 解决Win7 IIS配置错误500.22与0x80070032
- SQL-DFS:优化HDFS小文件存储的解决方案
- Hadoop、Hbase、Spark环境部署与主机配置详解
- Kisso:加密会话Cookie实现的单点登录SSO
- OpenCV读取与拼接多幅图像教程
- QT实战:轻松生成与解析JSON数据
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)