ПРОЛОГ, значение

Question

Я не понимаю, что означает

[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).

Answer 1

Ответ сокращен, чтобы избежать слишком большого вывода на экране.В SWI-Prolog вы можете нажать w после запроса, чтобы написать полный ответ, но для вашего запроса вам нужно YOURquery ; true., поскольку он является детерминированным, а для принятия w необходим недетерминированный запрос.Вы также можете изменить поведение, используя флаги Prolog.