У меня есть Правило , которое работает с некоторыми фактами и другими
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].
Есть ли способ сделать это?