为什么 prolog 中的 length/2 谓词可以产生无限数量的长度？-解网

问：

当我应用此查询时：

?长度（P， _）。

P = [] ? ;

P = [_] ? ;

P = [_,_] ? ;

P = [_,_,_] ? ;

P = [_,_,_,_] ?

我有这个结果。这是如何工作的？

序言

Prolog 试图找到导致谓词成功的变量实例（注意：它是一个谓词，而不是一个函数）。当你查询时，你是在问Prolog什么实例会给我任何长度。Prolog 使用列表进行响应，列表首先长度为 0，然后是长度 1，依此类推。你没有限制长度（它是可变的），所以你得到了“无限”的数字结果。此外，由于您为 length 提供了一个匿名变量，因此它也不会为您提供 length 值的特定结果。将您的结果与结果进行比较，看看您得到了什么。length(P, _)PP_length(P, N).

答：

3赞 user502187 11/10/2018 #1

通过选择点。一旦谓词具有多个子句，就会大致创建一个选择点：

length([], 0).
length([_|L], M) :- length(L, N), M is N+1.

然后，Prolog 解释器会给出这些选择点的不同推导。以下是 Tau Prolog 沙盒中的派生屏幕截图：

等等，我想我需要提出一个问题，这个推导截图显示的有点太多了。合成（=）/2 和对照（，）/2。

上一个：如何从 pytorch 中的图像中提取补丁？

下一个：跟踪时 Prolog 中的重做是什么？

为什么 prolog 中的 length/2 谓词可以产生无限数量的长度？

Why length/2 predicate in prolog can produce infinite number of lengths?

评论