???????? ?? ???????? ???????? ??? ???????:
/*1*/ a(1).
/*2*/ a(2).
/*3*/ a(3).
/*4*/ a(4).
/*5*/ b(1).
/*6*/ b(2).
/*7*/ b(3).
/*8*/ b(4).
/*9*/ b(2).
/*10*/ b(7).
/*11*/ c(11).
/*12*/ c(12).
/*13*/ c(13).
/*14*/ c(14).
/*15*/ t(Z):- a(Z), b(Z), not(c(Z)).
/*16*/ s(X,Y):- t(X), Y is X+10, c(Y)...