腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
用
prolog
实现
了
系统
如何
(
目的
)
显示
结论
的
证明
问题
、
我已经创建了一个鸟类识别
系统
,它基于一定
的
知识库来识别鸟类家族。只有当用户对提示
的
问题
回答是或否时,才会发生识别过程。这是一个基本
的
示例代码。我使用了known/3谓词来存储用户输入
的
值。我正在得到输出,但当被问及
如何
(目标)时,我也想得到
结论
的
证明
。 示例:我完美地获得了如下所示
的
输出。 ?- go.This is the Native
Prolog
shell. En
浏览 14
提问于2020-05-04
得票数 0
1
回答
逻辑规划与自动定理
证明
的
区别
、
、
逻辑编程和自动定理
证明
(ATP)之间
的
区别是什么(例如E-Prover,Spass或公主)? 我搜索
了
很多,唯一发现
的
信息是ATP是逻辑编程
的
先驱。但我看不出有什么区别。但我想这不仅仅是语法。
浏览 2
提问于2016-03-31
得票数 7
回答已采纳
4
回答
我很好奇逻辑程序会不会做代数
、
、
、
、
我读了一篇关于
Prolog
和Logic编程
的
简短文章。我很好奇逻辑程序是否能做代数。比如,你能问出方程5+X =7中X
的
变量是多少,得到
的
答案是-2吗?
浏览 1
提问于2012-12-04
得票数 10
3
回答
GNU
Prolog
的
同义检验器
、
、
、
我正在寻找
用
tautology编写
的
重言式检查器
的
开源
实现
(SWI
的
实现
也是可以接受
的
,但tautology是首选
的
)。作为结果,我期望
的
是布尔答案,如“是/否”、“等于/不同”、“
证明
已找到/未能找到
证明
”或类似的。我在上找到了GNU
的
同义检查器,但是没有附加许可证,也不知道
如何
应用和功能,以便
用
算术扩展逻辑模型。
浏览 8
提问于2011-08-14
得票数 2
回答已采纳
2
回答
PROLOG
查询返回yes/no
、
我正在学习
PROLOG
,我很难理解为什么我执行
的
查询会以“yes/no”结尾。这是我
的
知识库:male(bob).male(carl).male(dan). male(edward).
浏览 7
提问于2018-04-15
得票数 7
1
回答
在Z3中使用归结定理
证明
、
我是Z3
的
新手,但有一些使用
Prolog
的
经验。我已经设法解决
了
以下“难题”,即使用
Prolog
证明
这个女孩是个巫师,但我不知道
如何
用Z3 (
用
C++或Python)
实现
它:https://www.netfunny.com/rhf/jokes/90q4/burnher.html 我需要为像BURNS(x) /\ WOMAN(x)和WOMAN(GIRL)这样
的
浏览 41
提问于2020-07-04
得票数 1
回答已采纳
1
回答
真理维护
系统
的
Prolog
实现
、
真理维护
系统
(TMS)存储推理
的
正当性,从而在给定
的
知识库中得出特定
的
结论
。下面是一个很好
的
例子(这不是
prolog
):∀ Y party_person(Y) →¬study_hard (Y)我根本想不出
如何
实现
这一点。我不知道
如何
具体地表示模态运算符M(与之一致)。
浏览 1
提问于2012-11-15
得票数 2
2
回答
处理复杂
的
prolog
循环
、
我正在使用
Prolog
对我
的
一个项目中一些相当复杂
的
规则进行编码。有很多递归,包括相互递归。规则
的
一部分是这样
的
:pred1(X) :- someguard(X), pred2(X).在pred1和pred2之间有一个相当明显
的
无限循环。不幸
的
是,这些谓词之间
的
交互非常复杂,很难隔离。我能够通过传递一个传递给pred1
的
对象列表来消除这个实例中
的
无限循环,但是这是非常难以处理
浏览 5
提问于2015-11-06
得票数 5
回答已采纳
1
回答
Prolog
- WAM
的
高级用途
、
我正试图从概念
的
高度来理解世界水资源管理
的
目的
,但我迄今咨询过
的
所有消息来源都认为,我知道
的
比我目前所了解
的
要多,而且他们从底层着手处理这个
问题
(细节)。以下
问题
的
答案将有助于我开展这项工作: 挑选任何一群有成就
的
、专业
的
Prolog
实现
者-- SISCtus人员、YAP人、ECLiPSe人--不管是谁。现在,给他们一个在现有虚拟机上
实现
专业<e
浏览 0
提问于2014-10-03
得票数 4
回答已采纳
9
回答
Prolog
在专业上有用吗?
、
很多年前我在大学学到了
Prolog
。在我
的
职业生涯中,我从来不需要使用
Prolog
。我错过了什么特别的东西吗? 据我所知,与著名
的
编程语言相比,
Prolog
需要完全不同
的
思维方式。是
Prolog
真正用于
实现
专业有用
的
东西吗?
浏览 0
提问于2011-02-23
得票数 15
回答已采纳
5
回答
Visual
Prolog
、SWI-
Prolog
和其他工具中哪一个最好?
谁能给我比较一下不同
的
Prolog
编译器/IDE,如Visual
Prolog
和SWI-
Prolog
? 提前感谢!
浏览 3
提问于2010-12-19
得票数 18
回答已采纳
4
回答
是否有ISO-
Prolog
参考
实现
?
、
、
ISO-
Prolog
有参考
实现
吗?编辑 注:
浏览 5
提问于2013-11-21
得票数 3
回答已采纳
2
回答
我不明白
Prolog
如何
知道DFA接受规则中
的
开始状态是什么。
、
我
用
我能想到
的
最好
的
方式来写标题,但让我说清楚。在
Prolog
中对DFA进行编程时,以下是一种典型
的
方法:final(q2).我理解这段代码
的
作用,它
的
目标是什么,以及所有这些。困扰我
的
是“接受”规则。同样,我理解正在执行
的
操作背后
的
逻辑,但我不理解
的
是StartState和NextState
的
突然使用。这些都是凭空冒出来
的
,我不明白sta
浏览 6
提问于2013-10-28
得票数 3
回答已采纳
5
回答
专家
系统
基础
我需要写一个专家
系统
,应该帮助用户挑选最好
的
移动电话运营商。它应该非常简单,而不是基于语言/库,如CLISP或JESS。所以我需要从头开始写。任何帮助都将不胜感激。
浏览 1
提问于2009-04-02
得票数 3
回答已采纳
5
回答
很酷
的
、视觉上可传递
的
Prolog
用法
、
、
我将只教一堂关于basic
Prolog
的
课给那些编程经验很少甚至没有经验
的
学生。我希望他们看到,编程和
Prolog
可以在现实世界中使用,甚至可以做一些很酷
的
事情。我看过和
的
帖子,但我找不到任何视觉上有吸引力
的
东西,我可以在我们结束演讲时展示给他们看。 你对使用
Prolog
的
很酷
的
应用程序有什么建议吗?我特别寻找
的
东西,可以
显示
为视频或幻灯片。
浏览 1
提问于2011-04-04
得票数 3
回答已采纳
2
回答
Prolog
中
的
"false“和"no”有什么区别?
、
我开始在一书之后学习
Prolog
。在语言简介
的
第7页,他们断言:“在
Prolog
中,答案no被用来表示没有任何东西与
问题
统一。重要
的
是要记住,no与false不一样。”那么为什么SWI-
Prolog
使用false和true语句而不是yes或no呢?
浏览 1
提问于2015-07-01
得票数 7
3
回答
关系数据库语言和逻辑编程有多相似?
、
、
、
关系数据库语言sql和逻辑编程语言
prolog
和core.logic在基本概念和
实现
方面有什么相似之处和不同之处?这两个可以互换吗?
浏览 0
提问于2012-06-29
得票数 10
回答已采纳
5
回答
如何
在Java中使用
Prolog
?
、
在Java/Eclipse应用程序
的
上下文中,我想使用
Prolog
来完成特定
的
任务。有什么可用
的
解决方案和工具可以做到这一点,以及相关
的
利弊?我可以启动一个外部
Prolog
解释器,在一个文件中生成结果吗?我可以使用一个完整
的
Prolog
Java库(
用
java
实现
的
Prolog
解释器)?我可以使用专门用于与外部
Prolog
解释器进行通信
的</em
浏览 2
提问于2010-11-29
得票数 14
回答已采纳
3
回答
Prolog
中分离
的
交换性
、
、
我刚开始学习
Prolog
,遇到了一个我不明白
的
问题
。当我问:
Prolog
回答:这是我预料到
的
。但是,如果我问:true ;..and我不明白为什么。分离算子应该是可交换
的
。为什么这两个
Prolog
的
答案是不同
的
?
浏览 7
提问于2014-03-01
得票数 1
回答已采纳
1
回答
更改
prolog
版本
、
因此,我在我
的
Ubuntu
系统
(v14.04)上安装了
prolog
版本7.2.3,但是我想从我
的
系统
中卸载它并安装
prolog
版本6.xsudo apt-get install swi-
prolog
当我试图
用
下面的命令以同样
的
方式删除它时:但它似乎什么也没做,因为当我输入时:或 sw
浏览 0
提问于2016-03-03
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
那迷人的被遗忘的语言:Prolog
2020年,优秀程序员最应该掌握的7种编程语言
中国云计算专家委主任李德毅院士为云创题字
2021 年最值得推荐的 5 门人工智能编程语言
《七周七语言:理解多种编程范型》读书笔记
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
活动推荐
运营活动
广告
关闭
领券