cyfra(X) --> "0", {X is 0}.
cyfra(X) --> "1", {X is 1}.
cyfra(X) --> "2", {X is 2}.
cyfra(X) --> "3", {X is 3}.
cyfra(X) --> "4", {X is 4}.
cyfra(X) --> "5", {X is 5}.
cyfra(X) --> "6", {X is 6}.
cyfra(X) --> "7", {X is 7}.
cyfra(X) --> "8", {X is 8}.
cyfra(X) --> "9", {X is 9}.



rok(C, S) --> cyfra(X), cyfra(Y), {C is X*10 + Y, S = 9*X + 7*Y}.
mies(D, S) --> cyfra(X), cyfra(Y), {D is X*10 + Y, S = 3*X + Y}.
dzien(E, S) --> cyfra(X), cyfra(Y), {E is X*10 + Y, S = 9*X, 7*Y}.
reszta(F, S) --> cyfra(X), cyfra(Y), cyfra(Z), {F is X*100 + Y*10 + Z, S = 3*X + Y + 9*Z}.
plec(G, S) --> cyfra(X), {G is X, S = 7*X}.
suma(H) --> cyfra(X), {H is X}.

pesel([E, D, C]) --> rok(C, S1), mies(D, S2), dzien(E, S3), reszta(F, S4), plec(G, S5), suma(H),
{P is E, U is D, I is C, O is G, Q is (S1+S2+S3+S4+S5)/10}.