Prolog失败后终止查询

我有一个Prolog的列表和一个谓词check_lower( N1，N2)，它确定哪些数字N1小于N2。现在，因为列表是按如下所示的顺序排列的，所以我创建了谓词来迭代列表，直到它遇到相同的数字。一旦它遇到相同的数字，它就会终止。我已经追踪我的程序没有用，任何建议都是感谢，谢谢。另外，如果这篇文章是集群的，很抱歉，这是我第一次在这

浏览 0提问于2018-02-22得票数 0

回答已采纳

1回答

fail/0与1=2相同吗？

prolog中的谓词fail/0可能很有用，例如用于测试终止。如果此查询终止，则我们知道查询?- q.也终止。问题下面的测试是否与上面的相同？ ?- q, 1=2.

浏览 1提问于2022-11-22得票数 1

1回答

逻辑中的有限失败的派生

什么是有限失败的派生？反驳与数学意义上的矛盾是一样的吗？一般逻辑程序和确定逻辑程序有什么不同？

浏览 2提问于2011-12-12得票数 1

回答已采纳

1回答

Prolog递归溢出

、、、

它能在SWI-Prolog中工作吗？

浏览 0提问于2011-06-22得票数 1

回答已采纳

3回答

Prolog中分离的交换性

、、

我刚开始学习Prolog，遇到了一个我不明白的问题。当我问：Prolog回答：这是我预料到的。但是，如果我问：true ;..and我不明白为什么。分离算子应该是可交换的。为什么这两个Prolog的答案是不同的？

浏览 7提问于2014-03-01得票数 1

回答已采纳

1回答

通过Vim编辑器运行Prolog代码

、

我已经安装了SWI-Prolog和一个编辑器。我目前正在使用它们编写和运行代码。最近我开始使用Vim编辑器工作，所以我想问一下，如何从Vim运行Prolog代码？

浏览 0提问于2014-10-13得票数 1

1回答

在Curry中，如何求逆函数来终止？

下面是Prolog中的一个等价谓词：rev([X | L], M) :- rev(L, LR), append(LR, [X], M).Prolog谓词也无法在相反的方向终止：L = [5, 4, 3, 2, 1] ;rev([], []). rev([X | L], M) :- same_length([X | L], M),

浏览 3提问于2021-03-19得票数 0

回答已采纳

1回答

Prolog分离

考虑这个Prolog谓词： 1 = 1. 1 = 2. 当查询时，输出答案有两种状态: true和false。不管怎么说，当Prolog在分离过程中碰到一个真正的语句时，它会立即终止吗？

浏览 1提问于2014-08-17得票数 3

回答已采纳

1回答

什么时候prolog返回失败？

用您自己的话说，当prolog为查询返回失败时，可以得出什么可能的结论？我从来没有遇到过prolog返回失败的情况。我只能假设当通过回溯遇到错误时，它可能会返回fail？

浏览 2提问于2013-04-26得票数 0

2回答

PROLOG查询返回yes/no

、

我正在学习PROLOG，我很难理解为什么我执行的查询会以“yes/no”结尾。然后，我执行以下查询：它返回：X = betsy ? ;yes ?-parent(X, bob).

浏览 7提问于2018-04-15得票数 7

1回答

普罗洛。艰难的开端

在一开始:我是Prolog的初学者，但我不得不承认，语言是好奇的，因为事实是其他范式。但是为什么第二个结果是false find_kth_e(X, [X|_], 1). find_kth_e(X, [_|T], K) :- K > 1, K1 is K-

浏览 0提问于2016-05-18得票数 0

回答已采纳

1回答

Prolog差异列表:代码可以在SWI和GNU Prolog上运行，但不能在Yap上运行

、

当我在GNU Prolog和SWI Prolog上运行此代码时，它可以正确地计算差异列表中的元素数量。然而，Yap进入了一个无限循环。为什么Prolog解释器(如Yap)在询问此查询时不终止？

浏览 6提问于2012-07-20得票数 3

回答已采纳

1回答

使用dcgs终止prolog查询

、、、、

如何使查询length(I, 2), phrase(foo(C), I), false.终止？我正在使用SWI-Prolog version 8.4.3 for x86_64-linux 不终止似乎起源于最后的dcg规则。使用下面的程序(不是我想要的)，查询将终止。

浏览 4提问于2022-10-25得票数 0

回答已采纳

2回答

Prolog查询不终止

、

这是一个非常基本的查询，但是我对prolog很陌生，很难找到为什么这个查询没有终止：progeny(dexter, mark).progeny查询子查询(dexter，X)给出了mark、bill和lisa，但没有终止。而查询，子查询(Y，lisa)给出了bill和dexter，并且没有终止(这个查询回答也漏掉了提到的标记)。

浏览 8提问于2021-10-16得票数 1

回答已采纳

2回答

理解Prolog中的否定

为什么这两个(看似相同的)规则在我查询它们时会产生完全不同的结果？

浏览 0提问于2019-01-10得票数 0

1回答

寻找(\=)/2的纯Prolog实现

、

否定作为失败通常被认为是不纯洁的。失败时否定所需的Prolog解释器必须实现SLDNF，这是SLD的一个扩展。X \= Y :- \+ X = Y. 是否可以将(\=)/2实现为纯谓词？只使用纯Prolog，即只使用一阶喇叭子句？

浏览 3提问于2020-12-18得票数 3

回答已采纳

1回答

prolog语言中的逻辑

我在prolog中有一个问题，这是代码：sound(time2). not(sound(X)), !

浏览 3提问于2017-07-07得票数 2

回答已采纳

2回答

为什么SWI的行为看起来不一致？

、

为了理解Prolog中的剪切失败组合，我找到了以下示例并开始使用它：在查询1：enjoys(vincent,b)中，结果是SWI输出false (这是预期的行为并停止)，不问我是否希望它搜索更多的解决方案。在查询2：enjoys(vincent,a)中，首先SWI输出再次被期望的true，但是它给了我单击"next“的选项，它试图找到另一个解决方案，然后输出false

浏览 2提问于2018-12-25得票数 1

1回答