%% Η ίδια βάση γνώσης με το kb1.pl αλλά αυτή τη φορά με αποκοπή (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;
%% false.