根据Prolog中的规则添加到列表

Question

我有这个规则，该规则适用于某些事实和其他事实

safe_state(X):-
    (start(X);
    start(X)).

其输出是这样的：-

?- safe_state(X).
X = p2 ;
X = p4 ;
X = p5 ;
X = p1 ;
X = p3 ;
false.

我只想列出一个包含X的所有值的列表（如果不是这样的话）：-

?- safe_state(X).
X = [p2, p4, p5, p1, p3].

有什么办法吗？