为什么它不统一呢？它返回以下内容： ?- processRel(1,2,3,4，X)。 假。 而不是(我的期望)：x= 4。谓词"len“有效，我已经测试过了，但我不明白为什么把它放在另一个谓词中，它是这样工作的。谢谢!
浏览 9提问于2019-01-10得票数 1
回答已采纳
Prolog使用的是大多数通用的统一词，而不是仅仅的unifier，为什么会这样呢？如果我没有错，那么我认为，既然Prolog是基于回溯的，如果我们不使用大多数通用的整体词，那么我们就错过了变量统一的某些组合？
浏览 2提问于2018-01-07得票数 3
回答已采纳
我开始在一书之后学习Prolog。在语言简介的第7页，他们断言：“在Prolog中，答案no被用来表示没有任何东西与问题统一。重要的是要记住，no与false不一样。”那么为什么SWI-Prolog使用false和true语句而不是yes或no呢？
浏览 1提问于2015-07-01得票数 7
_18060 is bERROR: [11] mylist_element_at([a,b|...],1,2,_18134) at /Users/mahmudulhaque/IdeaProjects/prolog/asg
浏览 5提问于2021-11-30得票数 0
在prolog中，=用于统一，据我所知，如果这两个术语可以匹配，如果变量实例化，它们是统一的。?- 2+2 = 4.
尽管2+2生成4，这与另一个项的数字相同。
浏览 4提问于2017-03-31得票数 2
回答已采纳
问prolog：X = ''.?为什么SWI统一试图寻找另一个事实，如果只有一个事实是统一的？为什么在前一个问题中没有呢？在这种情况下，统一是如何运作的呢？
浏览 10提问于2022-07-12得票数 0
1回答
我试图在prolog中做一个谓词，它替换给多项式变量的值，然后计算结果。这是我的代码：
as_monomial(X, m(X, 0, [])) :- number(X), !.我的问题在mon_val中，因为它看起来不想统一。
浏览 2提问于2016-11-26得票数 0
2回答
我知道Prolog (逻辑编程)是关于返回true和false的，函数是返回从列表、数字到布尔值的任何东西。最初，Prolog似乎没有函数的概念，而是依赖于统一，但是您可以这样做：如果它真的只是语法糖，那么如果我想定义一个像log2这样的数学“函数”，我会怎么做呢？当然，我可以使用统一：但是说我想使用‘语法糖函数风格’，这样我就可以写：
?-
浏览 3提问于2013-08-24得票数 8
回答已采纳
1回答
SICStus Prolog手册页在上声明：
那么，为什么create_mutable(data,x)会失败呢？
浏览 3提问于2019-08-11得票数 1
回答已采纳
这是我的程序tran('father','chichiwe').tran('mother','hahawe').tran('good night','oyasemi').
浏览 0提问于2010-11-05得票数 0
回答已采纳
我验证了这个表示法，因为这是在Bratko的Prolog程序中为AI编写的，第210页，但是显然不可能统一。为什么会这样呢？这些符号不具有相同的陈述意义吗？
浏览 4提问于2017-01-11得票数 1
回答已采纳
如果你有这些事实：parent(albert, betsy).parent(alice, betsy).parent(bob, charlie).grand_parent(X, Y) :-parent(Y, Z).grand_parent(carl, A)A = albert ? ;
A = alice
浏览 3提问于2017-01-10得票数 1
回答已采纳
我可以在SWI中统一操作数，例如：X = 1,但是如何统一运算符呢？我希望Prolog能回来Y = 2,谢谢。
浏览 3提问于2022-04-07得票数 1
回答已采纳
如何开始并引导setarg_with_occurs_check/3/* SWI-Prolog 8.3.26 */X = f(X).
(顺便说一句，在一些Prolog系统中setarg/3有时被称为
名称更改_arg/3，有些甚至根本没有)
浏览 3提问于2021-09-04得票数 0
1回答
此时，我可以解析PHP代码文件，构建相应的规则集，并开始针对这些规则运行统一算法。而不是重新发明车轮，我想我应该使用现有的统一算法，而AFIAK，Prolog是最健壮的统一算法之一。现在，如果我传递一个可验证的正确输入，Prolog将返回“true”。如果我传递了一些不正确的东西，它会返回“假”。但是，在这个场景中，我真正想要的是获得一条错误消息，说明类型没有统一的原因。如果我打开SWI中的“跟踪”模式，我会或多或少地得到我想要的东西，一步一步地解释为什么类型没有<em
浏览 2提问于2013-03-29得票数 1
回答已采纳
我是Prolog的一个极端初学者(具体地说，SWI)，虽然我已经能够获得当前的年份、月份和天数，但我在获得当前工作日时遇到了很多困难。
浏览 1提问于2016-12-01得票数 0
回答已采纳
我是Prolog新手。我有这样的计划：edge(b,c).
path(X,Y):- edge(X,Z),path(Z,Y).我不明白Prolog为什么返回符合此查询的内容：
path(a,c)
浏览 1提问于2020-01-09得票数 0
回答已采纳
1回答
如何在PROLOG中实现整数到小数点的转换？例如，假设我指定Integer = 10，我如何将整数的值改为1.0 (1个小数点)？
浏览 0提问于2011-09-26得票数 1
回答已采纳
我知道Prolog使用X列表的第一个元素来统一X，但是如果它已经与第一个列表统一，那么它在第二个操作数/列表中统一/做什么呢？
浏览 14提问于2019-10-24得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
