MATKA
matka(X,Y):-płeć(X,kobieta) ^ rodzic(X,Y).

OJCIEC
ojciec(X,Y):-płeć(X,mężczyzna) ^ rodzic(X,Y).

SYN
syn(X,Y):-rodzic(Y,X) ^ płeć(Y,mężczyzna).

CÓRKA
córka(X,Y):-rodzic(Y,X) ^ płeć(Y,kobieta).

DZIEWIERZ - brat męża (dla bratowej)
///                 Q - ojciec męża       W - matka męża
///         X - brat męża             Z - mąż   Y - żona męża

dziewierz(X,Y):-płeć(X,mężczyzna) ^ [rodzic(Q,X) ^ rodzic(Q,Z)] v [rodzic(W,X) ^ rodzic(W,Z)] ^ współmałżonek(Z,Y) ^ płeć(Y, kobieta)

JĄTREW - żona brata męża (dla jątrwi)
///                 Q - ojciec męża       W - matka męża
///     P - żona brata męża  X - brat męża             Z - mąż   Y - żona męża

jątrew(P,Y):-płeć(P,kobieta) ^ płeć(Y, kobieta) ^ współmałżonek(X,P) ^ współmałżonek(Z,Y) ^ [rodzic(Q,Y) ^ rodzic(Q,Z)] v [rodzic(W,X) ^ rodzic(W,Z)]