corte.pl

% This buffer is for notes you don't want to save.
% If you want to create a file, visit that file with C-x C-f,
% then enter the text in that file's own buffer.

p(X):- r(X).
q(X):- s(X).
q(X):- t(X).

r(0).
r(1).
s(2).
s(3).
t(4).
t(5).