问PROLOG，含义
EN

Stack Overflow用户

提问于 2018-06-06 04:12:08

回答 1查看 61关注 0票数 2

我不明白这是什么意思

[sopio|...], [...|...]|...

在?- findall([X,Y], indirectowner(X, Y), L).的结果

L = [[sopio, badri], [temur, badri], [temur, leila], [badri, anuki], [badri, tamar], [tamar, ioseb], [sopio, anuki], [sopio|...], [...|...]|...].

我发现了以下事实：

owner(sopio,badri).
owner(temur,badri).
owner(temur,leila).
owner(badri,anuki).
owner(badri,tamar).
owner(tamar,ioseb).

and子句：

indirectowner(X,Z) :-
owner(X,Z).
indirectowner(X,Z) :-
owner(X,Y), owner(Y,Z).

回答已采纳

发布于 2018-06-06 04:20:04

答案是缩写的，以避免在屏幕上有太多的输出。在SWI-Prolog中，您可以在查询后按w来编写整个答案，但是对于您的查询，您需要YOURquery ; true.，因为它是确定性的，并且要使w被接受，它需要一个非确定性查询。您还可以使用Prolog标志来更改行为。

票数 3

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/50708222

复制

相似问题

问PROLOG，含义EN