如何在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].

Answer 2

Here we go：

{ _id: 5dfa940ab345ee0ba424ab8a,
    name: 'Men\'s T-Shirt',
    type: 'sub',
    parent: 5dfa0e815966ec1e80ed8425,
    description: '',
    image:
     '/images/category/Men\'s T-Shirt-1913069871-0460-1-400x400.jpg',
    child: [ [object] ],
    childCount:1
 },