%% Βάση γνώσης χωρίς αποκοπή (cut)

p(X):- a(X).
p(X):- b(X), c(X), d(X), e(X).
p(X):- f(X).
a(1).
b(1). 
b(2).
c(1). 
c(2).
d(2).
e(2).
f(3).

%% ?- p(X).
%% X=1;
%% X=2;
%% X=3.
