现在学 Prolog 事实，规则和查询上机练习

最新推荐文章于 2022-09-26 21:32:04 发布
最新推荐文章于 2022-09-26 21:32:04 发布
阅读量974 收藏
点赞数
分类专栏： 现在学 Prolog Prolog 人工智能
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/xilimn/article/details/108462547
版权
本文是一篇关于Prolog编程的学习实践记录，包括使用SWI-Prolog环境，建立知识库，进行事实、规则和查询的操作。示例涉及woman、playsAirGuitar、happy、loves等关系的定义和查询，以及练习部分对于wizard和witch的定义和查询实践。
摘要由CSDN通过智能技术生成

转载自：https://mp.weixin.qq.com/s/v0YrW7IvSRtguRFG_Ha6Jg

第一章 上机操作

 

$ swipl

Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.15)

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.

Please run ?- license. for legal details.

 

For online help and background, visit https://www.swi-prolog.org

For built-in help, use ?- help(Topic). or ?- apropos(Word).

 

?- [user].

|: woman(mia). //知识库1

|: woman(jody).

|: woman(yolanda).

|: playsAirGuitar(jody).

|: party.

|: ^D% user://1 compiled 0.00 sec, 5 clauses

true.

 

?- woman(mia).

true.

 

?- playsAirGuitar(jody).

true.

 

?- playsAirGuitar(mia).

false.

 

最低0.47元/天 解锁文章
老农伯
关注
专栏目录
现在学 Prolog 事实，规则和查询
xilimn的博客
09-08 2143
转载自：https://mp.weixin.qq.com/s/KEvuSWTwz6Ef1Y7-8riQZQ 本文有两个主要目标： 1.给出一些prolog程序的简单例子。这将向我们介绍prolog中的三个基本构造：事实、规则和查询。它还将向我们介绍一些其他主题，如prolog中逻辑的作用，以及借助变量执行合一的思想。 2.开始prolog的系统研究，定义项、原子、变量和其他句法概念。 1一些简单的例子 prolog中只有三个基本结构：事实、规则和查询。事实和规则的集合称为知识库（或数据库），pro
使用文件 上机操作
xilimn的博客
09-11 256
转载自：https://mp.weixin.qq.com/s/DgFxF1Rj4HN13LzRmMgeEw ?- ls. //列出当前目录的所有文件 //请体会下面的正确命令 ?- ['kb2.pl']. true. ?- ['kb2']. true. ?- [kb2]. true. ?- edit(kb2). % Waiting for editor ... % Running make to reload modified files % Upd...
Learn Prolog Now 翻译 - 第一章 - 事实，规则和查询 - 第一节， 一些简单的例子
amfpz66222的博客
06-25 284
Learn Prolog Now 翻译 - 第一章 - 事实，规则和查询 - 第一节， 一些简单的例子 该系列文章是网上的Prolog学习资料：www.learnprolognow.org的中文翻译。希望能够通过翻译此学习资料，达到两个目的：第一、系统学习prol...
SWIProlog中的小坑：‘Undefined procedure:DWIM could not correct goal‘
最新发布
打工人的日常博客
09-26 687
使用SWIProlog时遇到的小bug(已解决)
确定子句文法 上机操作
xilimn的博客
09-10 150
转载自：https://mp.weixin.qq.com/s/UYedzZIXz0JRYrYTNjItbw ?- [user]. |: s(Z):- np(X), vp(Y), append(X,Y,Z). |: np(Z):- det(X), n(Y), append(X,Y,Z). |: vp(Z):- v(X), np(Y), append(X,Y,Z). |: vp(Z):- v(Z). |: det([the]). |: det([a]). |: n([woman]). |: n
现在学 Prolog 合一和证明搜索
xilimn的博客
09-08 626
转载自：https://mp.weixin.qq.com/s/SeMjK-_XR69jSQEQ-iRHMg 本章有两个主要目标： 1.讨论Prolog中的合一，并解释Prolog合一与标准合一有何不同。在此过程中，我们将introduce/ 2，Prolog合一的内置谓词，并与check / 2合一，即标准合一的内置谓词。 2.解释Prolog在尝试使用惯用方式从旧信息中推断出新信息时使用的搜索策略。 1合一 在上一章中使用知识库KB4时，我们简要提到了合一的思想。例如，我们说过Pro...
现在就学习Prolog！增强「Learn Prolog Now! Enhanced」-crx插件
03-23
使“现在学习Prolog！”外观和感觉更好。 -嵌入式Swish IDE（SWI-Prolog）-代码段的语法突出显示-关键字和语义突出显示-pretty交互式版本位于http://lpn.swi-prolog.org/源代码位于：...
atom_feed:在 Prolog 中解析和查询 Atom Syndication 格式
06-20
解析和查询和 。 这个包并不支持 Atom 或 RSS 规范的每个方面，但它确实支持许多广泛使用的方面。 它旨在作为一个相对较低级别的库，可以在其上实施更复杂的提要处理。 此版本的更改 条目发布时间谓词 条目更新时间...
Swi-Prolog的安装
xilimn的博客
01-16 4493
macOS的安装 Port安装 开启浏览器输入链接 https://www.macports.org/install.php 下载当前使用的版本如下所示： 运行MacPorts-xxxxxxx.pkg安装包成功后 安装稳定版 $ sudo port install swi-prolog Password: Portfile changed since last build; discardi...
【人工智能基础】推理技术方法总结
qq_45532226的博客
06-25 9532
人工智能基础课程推理技术方法总结
【数据库-MySql】函数 - Procedure execution failed 1054 - Unknown column 's' in 'field list'
少莫千华
06-01 8074
Procedure execution failed 1054 - Unknown column 's' in 'field list' 未知字段，在使用select的后面有个字段's'在 From后面的表中没有,请填入存在的字段名
knowrob安装记录
May1989
12-10 820
创建catkin工作空间： $ mkdir -p ~/catkin_ws/src $ cd ~/catkin_ws/ $ catkin_make 执行完catkin_make指令后，会在src下创建一个CMakeLists.txt文件，在catkin_ws下创建两个子文件夹：build和devel。在devel下会有一些setup.*sh文件，source任一文件可将ROS_PACKAGE_PAT...
Mysql错误编码和解释表
简简单单Onlinezuozuo
09-19 1万+
Mysql错误编码和解释表1.错误消息的组成一共由三部分组成 1.mysql数字错误代码，这个数字的mysql的特定值，不可以移植到其它数据库系统。 2.一个五位长度的sqlstate值，这些值取自ANSI SQL和ODBC，并且更加标准化。并不是所有的MySQL错误号都具有相应的SQLSTATE值。在这些情况下，使用'HY000' （一般错误）。 3.错误的消息描述 2.一些额外的说明 如果
Prolog 语言入门
wbxd
06-26 1901
Prolog 是一种与众不同的语言，不用来开发软件，专门解决逻辑问题。比如，"苏格拉底是人，人都会死，所以苏格拉底会死"这一类的问题。离散数学中的谓词量词那章。 Prolog 就是"逻辑编程"（programming of Logic）的意思。只要给出事实和规则，它会自动分析其中的逻辑关系，然后允许用户通过查询，完成复杂的逻辑运算。 1.环境准备 windows10+SWI-Prolog,傻瓜式安装即可 安装之后找到bin目录下的swipl-win.exe运行 2.Hello world入门 .
Swi-Prolog学习笔记（入门篇）
热门推荐
GinWn的博客
05-03 1万+
首先介绍一个学习swi-prolog 和amzi-prolog很靠谱的中文网站：http://hyry.dip.jp/tech/book/page/prolog/search_game_maxmin.html 然后介绍一下我在学习时发现的prolog和其他编程语言的不同之处。 prolog是逻辑编程语言，在解决逻辑推理问题是有很明显的优势。 它的解决问题的策略是基于枚举法的，所以返回结果很可
现在学 Prolog 递归
xilimn的博客
09-09 2214
转载自：https://mp.weixin.qq.com/s/r6CcuC8n7iRaQSzShovl5w 本章有两个主要目标： 1.在Prolog中引入递归定义。 2.表明Prolog程序的声明性含义与其程序含义之间可能存在不匹配。 1递归定义 谓词可以递归定义。粗略地说，如果谓词中的一个或多个规则引用了自己，则它是递归定义的。 示例1：Eating 考虑以下知识库： is_digesting(X,Y) :- just_ate(X,Y). is_di...
用Prolog解决数独
xilimn的博客
09-07 1562
转载自：https://mp.weixin.qq.com/s/NE4j2Jc0vzw9pr2w4BF7hg 我们先了解一下什么是数独 数独（shù dú）是源自18世纪瑞士的一种数学游戏。它是一种运用纸、笔进行演算的逻辑游戏。数独有多种类型，我们仅以其中一种类型作为本文实例。 玩家需要根据9×9盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫（3*3）内的数字均含1-9，不重复。 方格 水平方向有九横行，垂直方向有九纵列的矩形，画分八十一个小正方形，称为九宫格（.
Prolog 列表练习 1.
xilimn的博客
09-06 1316
转载自：https://mp.weixin.qq.com/s/tkoV2byIhCCP1b-kOMmkeg 1、获取列表中的最后一个元素 my_last(X,[X]).%是最后一个元素则合一 my_last(X,[_|L]) :-%X是列表L的最后一个元素 my_last(X,L).%如果不是最后一个元素继续递归 运行效果如下： ?- my_last(A, [a,b,c,d,e,f,g]). A = g ; ; false. 2、获取列表的倒数...
Prolog入门：事实、规则与查询
教程作者包括Patrick Blackburn、Johan Bos和Kristina Striegnitz，内容涵盖了事实、规则和查询的简单示例，以及Prolog的术语、原子、变量等语法概念的系统性研究。此外，还提供了实践练习和在线课程资源以加深理解...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值