PROLOG，意义
PROLOG, meaning of
没看懂
是什么意思
[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).
和子句：
indirectowner(X,Z) :-
owner(X,Z).
indirectowner(X,Z) :-
owner(X,Y), owner(Y,Z).
为了避免在屏幕上输出太多，答案被简化了。
在 SWI-Prolog 中，您可以在查询后按 w 来写出整个答案，但是对于您的查询，您需要 YOURquery ; true. 因为它是确定性的，并且要接受 w 它需要一个非- 确定性查询。
您还可以使用 Prolog 标志更改行为。
没看懂
是什么意思[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).
和子句：
indirectowner(X,Z) :-
owner(X,Z).
indirectowner(X,Z) :-
owner(X,Y), owner(Y,Z).
为了避免在屏幕上输出太多，答案被简化了。
在 SWI-Prolog 中，您可以在查询后按 w 来写出整个答案，但是对于您的查询，您需要 YOURquery ; true. 因为它是确定性的，并且要接受 w 它需要一个非- 确定性查询。
您还可以使用 Prolog 标志更改行为。