Как мне вернуть список на Прологе?

Допустим, у меня есть следующие факты:

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

но в этом случае Пролог просто отвечает «Верно» .

5
задан Charles 27 January 2014 в 20:39
поделиться