commit 712d1e6fc04c222a2e03570f2a3b9ecaf52859dc Author: Aelita4 Date: Mon Oct 23 18:43:02 2023 +0200 Lab 1 diff --git a/1_1.pl b/1_1.pl new file mode 100644 index 0000000..8a80007 --- /dev/null +++ b/1_1.pl @@ -0,0 +1,42 @@ +rodzic(zofia , marcin). +rodzic(andrzej, marcin). +rodzic(andrzej, kasia). +rodzic(marcin , ania). +rodzic(marcin , krzys). +rodzic(krzys , mikolaj). + +kobieta(zofia). +kobieta(kasia). +kobieta(ania). + +mezczyzna(andrzej). +mezczyzna(marcin). +mezczyzna(krzys). +mezczyzna(mikolaj). + +potomek(Y, X) :- + rodzic(X, Y). + +matka(X, Y) :- + rodzic(X, Y), + kobieta(X). + +ojciec(X, Y) :- + rodzic(X, Y), + mezczyzna(X). + +dziadkowie(X, Z) :- + rodzic(X, Y), + rodzic(Y, Z). + +brat(X, Y) :- + rodzic(Z, X), + rodzic(Z, Y), + mezczyzna(X), + X \= Y. + +siostra(X, Y) :- + rodzic(Z, X), + rodzic(Z, Y), + kobieta(X), + X \= Y. diff --git a/1_2.pl b/1_2.pl new file mode 100644 index 0000000..61ccbfb --- /dev/null +++ b/1_2.pl @@ -0,0 +1,12 @@ +% imie , wiek +osoba(stefan , 21). +osoba(andrzej, 19). + +% imie , co lubi +lubi(stefan , programowanie). +lubi(andrzej, ogladanie-filmow). + +starszy(X, Y) :- + osoba(X, A), + osoba(Y, B), + A > B. diff --git a/1_3.pl b/1_3.pl new file mode 100644 index 0000000..2b5657e --- /dev/null +++ b/1_3.pl @@ -0,0 +1,95 @@ +% imie , ojciec , matka , plec , wiek +osoba(mikolaj , wladyslaw, grazyna , mezczyzna, 21). +osoba(grazyna , jan , krystyna , kobieta , 58). +osoba(wladyslaw, miroslaw , lucyna , mezczyzna, 63). +osoba(krystyna , andrzej , emilia , kobieta , 78). +osoba(jan , kacper , wiktoria , mezczyzna, 83). +osoba(miroslaw , janusz , barbara , mezczyzna, 88). +osoba(lucyna , krystian , aleksandra, kobieta , 91). +osoba(michalina, wladyslaw, grazyna , kobieta , 35). +osoba(jakub , wladyslaw, grazyna , mezczyzna, 33). +osoba(krzysztof, gabriel , michalina , mezczyzna, 7). +osoba(milosz , pawel , renata , mezczyzna, 17). +osoba(milena , pawel , renata , kobieta , 15). +osoba(pawel , jan , krystyna , mezczyzna, 44). + +mezczyzna(X) :- + osoba(X, _, _, mezczyzna, _). + +kobieta(X) :- + osoba(X, _, _, kobieta, _). + +rodzenstwo(X, Y) :- + osoba(X, O, M, _, _), + osoba(Y, O, M, _, _), + X \= Y. + +bracia(X, Y) :- + rodzenstwo(X, Y), + mezczyzna(X), + mezczyzna(Y). + +siostry(X, Y) :- + rodzenstwo(X, Y), + kobieta(X), + kobieta(Y). + +brat(X, Y) :- + rodzenstwo(X, Y), + mezczyzna(X). + +siostra(X, Y) :- + rodzenstwo(X, Y), + kobieta(X). + +matka(X, Y) :- + osoba(Y, _, X, _, _). + +ojciec(X ,Y) :- + osoba(Y, X, _, _, _). + +potomek(X, Y) :- + matka(Y, X); + ojciec(Y, X). + +syn(X, Y) :- + potomek(X, Y), + mezczyzna(X). + +corka(X, Y) :- + potomek(X, Y), + kobieta(X). + +rodzic(X, Y) :- + matka(X, Y); + ojciec(X, Y). + +babcia(X, Y) :- + rodzic(Z, Y), + matka(X, Z). + +dziadek(X, Y) :- + rodzic(Z, Y), + ojciec(X, Z). + +wujek(X, Y) :- + rodzic(Z, Y), + brat(X, Z). + +ciocia(X, Y) :- + rodzic(Z, Y), + siostra(X, Z). + +kuzyni(X, Y) :- + rodzic(A, X), + rodzic(B, Y), + rodzenstwo(A, B), + X \= Y. + +kuzyn(X, Y) :- + kuzyni(X, Y), + mezczyzna(X). + +kuzynka(X, Y) :- + kuzyni(X, Y), + kobieta(X). diff --git a/lab1.pl b/lab1.pl new file mode 100644 index 0000000..c89c85b --- /dev/null +++ b/lab1.pl @@ -0,0 +1,18 @@ +lubi(ala, koty). +lubi(ala, jablko). +lubi(marek, psy). +lubi(ala, psy). +lubi(jarek, ala). +lubi(jarek, rower). +lubi(joanna, wakacje). + +kobieta(ala). +kobieta(joanna). + +mezczyzna(marek). +mezczyzna(jarek). + +lubi1(Y, X) :- + mezczyzna(X), + lubi(X, koty), + lubi(Y, psy). diff --git a/rodzina.pl b/rodzina.pl new file mode 100644 index 0000000..fbd21f5 --- /dev/null +++ b/rodzina.pl @@ -0,0 +1,6 @@ +rodzic(zofia, marcin). +rodzic(andrzej, marcin). +rodzic(andrzej, kasia). +rodzic(marcin, ania). +rodzic(marcin, krzyś). +rodzic(krzyś, mikołaj).