Допустим, у меня есть следующие факты:
parent(bob, sam). %bob is sam's parent
parent(sara, sam). %sara is sam's parent
Я хотел узнать, кто были sam и вернуть их в списке и использовать в качестве таковых:
list_parents(P, L) :- findall(Parent, parent(Parent, P), L).
Теперь я хочу задать тот же вопрос, но только с одним аргументом:
findParents(sam).
Я пробовал:
findParents(Name) :- list_parents(Name, L).
но в этом случае Пролог просто отвечает «Верно»
.