如何在Prolog中创建事实列表？

Question

有这些事实:

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

我需要创建谓词人(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].