我有这个谓词：ans(["Hello", "dear", "customer"],0).ans(["Good此谓词接收一个原子列表，并应返回与给定列表中的原子匹配的结构ans。例如: answer("Hello"，L) L= [ans("Hello&quo
浏览 15提问于2019-11-15得票数 0
出于兴趣，我对Prolog和自我教学完全陌生。很抱歉给您带来这样一个基本的问题，但是手册(SWI)似乎没有说明为什么我会看到这种行为。
我正在使用多个值的基本谓词，并尝试查询所有将是有效答案的谓词。SWI只查找第一个有效的谓词，然后停止，我不确定这是由于我使用谓词而不是列表，还是这是Prolog</em
浏览 8提问于2022-10-26得票数 2
我想知道如何在Prolog中创建一个谓词，如果它的任何一个目标都是可证明的，它的计算结果就是"true“。我有这个程序：distance(X, Y, 1) :-> distance(place1, place2, 1)
我</e
浏览 0提问于2011-04-26得票数 4
2回答
假设我有一个谓词，它有时会给我多个输出。我如何才能获得foo在另一个谓词中给出的Out的所有值，记住它有时会给出一个值，有时会给出多个值(例如在列表中)？
编辑-不太确定我得到的答案回答了我的问题，所以我会更具体。使用上面的谓词，我可以运行满足这两个规则的查
浏览 7提问于2018-11-29得票数 1
1回答
SWI-Prolog，版本6.6.6。p(a, a).它会得到以下答案：true ;p(a, a).我得到的答案略有不同...true.似乎在第二种情况下没有发生回溯，因为问题中谓词的第一个参数与其他从句不一致。然而，对于每种情况
浏览 0提问于2015-10-27得票数 3
我正在使用SWI Prolog学习Prolog。考虑一下我有一个名为myFile.txt的文件的情况，该文件包含以下内容：line2.readFileSee(InputFile) :- seeing(OldStream),问题是，当我执行
浏览 0提问于2013-04-19得票数 1
回答已采纳
任务是:确定哪个数字a，b，c是N的除数。例如：(a=2，b=3，c=4，n=2 Answer is a，c)。因此，我编写了以下代码： a(integer,integer)CLAUSES
a(X但是如果Prolog找到了第一个解决方案(在我的例子中是a=2)，那么它就会停止并显示它。但是，在我<em
浏览 4提问于2015-03-17得票数 1
我已经编写了一个谓词，它过滤了6以下所有数字的列表，但是prolog找到了多个解决方案。谓词如下所示：sift([H | T], [H | Res]):- H > 6,sift([_ | T], Res):-X = [7, 13]X = [13]我只期望
浏览 3提问于2019-11-10得票数 1
回答已采纳
1回答
在我最近在大学逻辑编程考试中遇到的一个问题中，我被要求编写一个Prolog谓词odd/1，该谓词确定给定的值是否为奇数。实现应该使用已经给定的谓词s/1，该谓词将对给定元素的后继(即X+ 1)进行计算。这是实现odd/1谓词的解决方案：
odd(s(0)):-!.. % A number s(s(X)) (i.e X
浏览 1提问于2014-03-18得票数 1
回答已采纳
我想要创建一个谓词arrayLEQ(L,N)，这个谓词在L = [1,2,3,...,N]时是正确的。我试图递归地做这件事：arrayLEQ(L1,L2,N,N) :- append(L1,[N],L2).当我这么做的时候：?- arrayLEQ(L,5)我得到<
浏览 0提问于2018-03-05得票数 0
回答已采纳
如何编写谓词，在Prolog中返回与文字相反的谓词，这样，如果执行以下查询，就会得到以下答案。L = -a.
?- opposite(-a,L).
浏览 2提问于2020-10-25得票数 0
回答已采纳
我对prolog很陌生。有人问我这个问题。我不能在SWI-Prolog中完成。只是在prolog基础上(不知道该如何称呼它)。我发现的所有答案都在里。举个例子：[[0 1] [1 2] [1 3] [0 4] [0 3]]
每个嵌套列表的第一个元素是键，嵌套列表<
浏览 16提问于2021-12-05得票数 0
2回答
我正在学习PROLOG，我很难理解为什么我执行的查询会以“yes/no”结尾。这是我的知识库：male(bob).male(carl).male(dan). ?-female(X).X = alice ? ; X = diana当我查询
浏览 7提问于2018-04-15得票数 7
3回答
所以我有几次返回true的谓词。?- get_all_transformed_moves.true ;swi prolog有没有一些方法可以帮助我在不键入‘；’的情况下运行这个谓词？
浏览 0提问于2011-09-19得票数 0
回答已采纳
1回答
我刚开始学习Prolog。其中一个练习要求我向后写/2，这是一个谓词，当第二个list参数与第一个list参数相反时，这个谓词是正确的。我必须使用粘贴谓词向后写。我花了好几个小时研究这个问题，但仍然没有得到答案。我现在拥有的是：backwards([],[]).
浏览 0提问于2014-10-08得票数 1
回答已采纳
3回答
因此，我在Prolog中有以下工作代码，它生成给定值A的阶乘：factorial(A,B) :- A>0, C is A-1, factorial(C,D), B is我正在寻找关于这个代码是如何工作的解释。也就是说，当你问这个问题时会发生什么:阶乘(4，答案)。factorial(0, 1).
我知道上面是递归定义的“基本情况”。我不知道这是<em
浏览 1提问于2014-03-05得票数 2
回答已采纳
我在使用SWI-Prolog中内置的round/1和floor/1时遇到了问题。当在我的代码中使用它们时，它们不被识别，并且当它们作为查询提交时；例如?- round(1.6).，Prolog会告诉我该过程不被识别。我做错了什么吗？我在在线的Swish版本和我自己的windows安装版本上都试过了，但在这两个版本上都遇到了同样的错误。
浏览 0提问于2017-10-01得票数 1
1回答
我目前正在学习逻辑编程，并学习这种情况下的Prolog。
我们可以有一个Knowledge Base，它可以引导我们找到一些results，而Prolog会进入无限循环，因为它扩展谓词的方式。查询p(john)将进入无限循环，因为默认情况下，Prolog扩展了统一的第一个谓词。但是，我们可以得出结论，如果我们开始扩展第二个谓词，那么p(john)是正确的。那么，为什么</e
浏览 0提问于2015-04-29得票数 3
回答已采纳
5回答
prolog中的哈希表
、、、
前几天，我正在用prolog解决一个难题，我意识到如果我使用另一种编程语言，我会利用哈希表/字典，但据我所知，这在prolog中是不可能的。所以我的第一个问题是，是否有任何prolog支持具有哈希表性能特征的类似字典的数据结构？其次，我突然想到，由于大多数prolog使用哈希表来存储谓词，因此我可以编写一个包装器<em
浏览 0提问于2009-08-22得票数 29
回答已采纳
我有这两个列表=foodILike([hamburgers, banana, shakes, fries]).我想写一个prolog谓词，只要它在水果列表的foodsILike列表中看到1个条目，它就会返回true。我该如何着手去做呢？
浏览 0提问于2011-02-27得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
