kobieta(maria).
kobieta(ewa).
kobieta(agata).
kobieta(anna).
kobieta(joanna).
kobieta(agnieszka).
kobieta(beata).
kobieta(iwona).

mężczyzna(piotr).
mężczyzna(adam).
mężczyzna(robert).
mężczyzna(marek).
mężczyzna(jan).
mężczyzna(krzysztof).
mężczyzna(radek).
mężczyzna(darek).
mężczyzna(tomek).
mężczyzna(jacek).

rodzic(maria,agata).  %kto, czyj
rodzic(maria,marek).
rodzic(maria,jan).
rodzic(piotr,agata).
rodzic(piotr,marek).
rodzic(piotr,jan).
rodzic(ewa,anna).
rodzic(ewa,joanna).
rodzic(ewa,krzysztof).
rodzic(adam,anna).
rodzic(adam,joanna).
rodzic(adam,krzysztof).
rodzic(robert,radek).
rodzic(robert,beata).
rodzic(agata,radek).
rodzic(agata,beata).
rodzic(jan,darek).
rodzic(jan,tomek).
rodzic(anna,darek).
rodzic(anna,tomek).
rodzic(krzysztof,jacek).
rodzic(krzysztof,iwona).
rodzic(agnieszka,jacek).
rodzic(agnieszka,iwona).

małżeństwo(maria,piotr).
małżeństwo(ewa,adam).
małżeństwo(robert,agata).
małżeństwo(jan,anna).
małżeństwo(krzysztof,agnieszka).

matka(X,Y):-kobieta(X),rodzic(X,Y).
ojciec(X,Y):-mężczyzna(X),rodzic(X,Y).
dziadek(X,Y):-mężczyzna(X),rodzic(X,Z),rodzic(Z,Y).
babcia(X,Y):-kobieta(X),rodzic(X,Z),rodzic(Z,Y).
brat(X,Y):-mężczyzna(X),rodzic(Z,X),rodzic(Z,Y), X\=Y.
siostra(X,Y):-kobieta(X),rodzic(Z,X),rodzic(Z,Y),X\=Y.
wuj(X,Y):-matka(Z,Y),brat(Z,X).
stryj(X,Y):-ojciec(Z,Y),brat(Z,X).

kuzyn(X,Y):-mężczyzna(X),rodzic(Z,X),rodzic(A,Z),rodzic(B,Y),rodzic(A,B),B\=Z.
żona(X,Y):-kobieta(X),małżeństwo(X,Y).
żona(X,Y):-kobieta(X),małżeństwo(Y,X).
mąż(X,Y):-mężczyzna(X),małżeństwo(X,Y).
mąż(X,Y):-mężczyzna(X),małżeństwo(Y,X).

teściowa(X,Y):-żona(Z,Y),matka(X,Z).
szwagier(X,Y):-żona(Z,Y),brat(X,Z).
szwagier(X,Y):-mąż(X,Z),siostra(Z,Y).




% regular(rectangle(point(X1,Y1),point(X2,Y2),point(X3,Y3),point(X4,Y4))).

horizontal(seg(point(X1,Y),point(X2,Y))).
vertical(seg(point(X,Y1),point(X,Y2))).



regular(rectangle(point(X1,Y1),point(X2,Y1),point(X2,Y3),point(X1,Y3))).
regular(rectangle(point(X1,Y1),point(X2,Y2),point(X3,Y3),point(X4,Y4))):-
	X1=X4,X2=X3,Y1=Y2,Y3=Y4.


horiontal(X):-X=seg(P1,P2),
	        P1=point(X1,Y1),
		P2=point(X2,Y2),
		Y1=Y2.    % tak sie nie robi




przodek(X,Y):-rodzic(X,Y).
przodek(X,Y):-rodzic(X,Z),przodek(Z,Y).