???????? ?? ???????? ???????? ??? ???????:
/*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).
????????? ?? ?????? ??????????? ??? ????????:
?- s(X, Y).
2)
???? ?? ???????? ????????:
a(b(1)).
a(b(2)).
a(b(3)).
a(b(4)).
a(b(6)).
????????????? ??? ?????????? ??? ?? ??????? ???? ????? (???????? ????? ??? ???????
writeln(X)) ?? b(?) ???? ? ?????? ???????.
/*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).
????????? ?? ?????? ??????????? ??? ????????:
?- s(X, Y).
2)
???? ?? ???????? ????????:
a(b(1)).
a(b(2)).
a(b(3)).
a(b(4)).
a(b(6)).
????????????? ??? ?????????? ??? ?? ??????? ???? ????? (???????? ????? ??? ???????
writeln(X)) ?? b(?) ???? ? ?????? ???????.