?- parinte(alin, X).
X = radu ;
X = miruna.

?- forall(parinte(alin, X), (X = radu; X = miruna)).
true.

?- forall(parinte(alin, X), (X = radu)).
false.

% fără numărul 1
?- forall(numar(X), X > 4).
true.

% am adăugat și numărul 1
?- forall(numar(X), X > 4).
false.

?- findall(N, numar(N), L).
L = [1, 5, 6, 20].

?- findall(N, (numar(N), N > 5), L).
L = [6, 20].

?- findall(struct(N, X), (numar(N), N > 5, X is N / 2), L).
L = [struct(6, 3), struct(20, 10)].

?- findall(struct(N, X), (numar(N), N > 5, X = N / 2), L).
L = [struct(6, 6/2), struct(20, 20/2)].

?-