2prolog

% relacje rodzinne
%            Maria-Piotr        Ewa-Adam
%            -----------        --------
%              /  |  \          /  |  \
%             /   |   \        /   |   \
%            /  Marek  \      /  Joanna \
% Robert-Agata         Jan-Anna         Krzysztof-Agnieszka
% ------------         --------         -------------------
%     /  \               /  \                   /  \
%    /    \             /    \                 /    \
%   /      \           /      \               /      \
% Radek   Beata      Darek   Tomek         Jacek    Iwona


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

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

dane(rodzic(maria,agata)).
dane(rodzic(maria,marek)).
dane(rodzic(maria,jan)).
dane(rodzic(piotr,agata)).
dane(rodzic(piotr,marek)).
dane(rodzic(piotr,jan)).

dane(rodzic(ewa,anna)).
dane(rodzic(ewa,joanna)).
dane(rodzic(ewa,krzysztof)).
dane(rodzic(adam,anna)).
dane(rodzic(adam,joanna)).
dane(rodzic(adam,krzysztof)).

dane(rodzic(robert,radek)).
dane(rodzic(robert,beata)).
dane(rodzic(agata,radek)).
dane(rodzic(agata,beata)).

dane(rodzic(jan,darek)).
dane(rodzic(jan,tomek)).
dane(rodzic(anna,darek)).
dane(rodzic(anna,tomek)).

dane(rodzic(krzysztof,jacek)).
dane(rodzic(krzysztof,iwona)).
dane(rodzic(agnieszka,jacek)).
dane(rodzic(agnieszka,iwona)).


reguła(matka(X, Y)):- dane(kobieta(X)), dane(rodzic(X, Y)).
reguła(ojciec(X, Y)):- dane(mężczyzna(X)), dane(rodzic(X, Y)).

regularny(prostokąt(punkt(X1,Y1), punkt(X2, Y2), punkt(X3, Y3), punkt(X4, Y4))):- X1=X4, Y1=Y2, X2=X3, Y3=Y4.
regularny1(prostokąt(punkt(X1,Y2), punkt(X3, Y2), punkt(X3, Y4), punkt(X1, Y4))).