prolog - 如何从 Prolog 中的事实创建列表？

Question

有这些事实：

man(john).
man(carl).
woman(mary).
woman(rose).

我需要创建谓词 people(List)，它根据先前的事实返回一个包含每个男人和女人姓名的列表。这就是我需要的输出：

?- people(X).
X = [john, carl, mary, rose]

这是我写的代码，但它不起作用：

people(X) :- man(X) ; woman(X).
people(X|Tail) :- (man(X) ; woman(X)) , people(Tail).

有人可以帮忙吗？

Answer 1

使用findall/3：

people(L) :- findall(X, (man(X) ; woman(X)), L).

?- people(X).
X = [john, carl, mary, rose].

Answer 2

我们开始吧：

person(anne).
person(nick).

add(B, L):-
    person(P),
    not(member(P, B)),
    add([P|B], L),!.

add(B, L):-
    L = B,!.

persons(L):-
    add([], L).