prolog caly

/////////////////////////////////////////////////////////////////////////////////////////////////////

tanie(wino).
tanie(jablko).
tanie(piwo).

zdrowe(wino).
zdrowe(jablko).
niezdrowe(piwo).

lubi(maria, X) :- tanie(X), zdrowe(X). %maria lubi coś, jeśli tylko to cos jest tanie i zdrowe.

lubi(jan, X) :- tanie(X), niezdrowe(X). %maria lubi coś, jeśli tylko to cos jest tanie i zdrowe.

kobieta(maria). %maria jest kobieta
kobieta(eliza). %eliza jest kobieta
kobieta(małgorzata). %malgorzata jest kobieta


rodzic(robert, albert). %Roman jest rodzicem Alberta
rodzic(malgorzata, albert). %Malgorzata jest rodzicem Alberta

oblicz(X,Y):- Y = X*(3*5-1). %oblicz(10,X) wyswietla: X = 10*(3*5-1)
obliczIS(X) :-X is 3*5-1. %obliczIS(X) : x = 14.

suma(X,Y,Z):-X<6, Z is X+Y, !. %jezeli warunek jest spelniony to wtedy Z = X+Y
suma(X,Y,Z):-Z is Y. %Jezeli nie to wyswietla sie, ze Z = Y



/////////////////////////////////////////////////3 A Rybarczyk /////////////////////////////////////////////
%zad 1lubi(kasia,wino).
lubi(jan,wino).
lubi(zbysio,piwo).

lubi(stefan, X) :- lubi(X,wino). %Stefan lubi tych, ktorzy lubia wino: czyli X=Kasia; X=jan.

%zad2
krol(jan_I,1323,1355).
krol(jpII,1981,2003).
krol(janusz,2010,2020).

rzadzil(X,rok)   %wyswietl X, gdzie dane są: krol(nazwa, rok poczatek, rok koniec, gdzie rok<= od Z i rok >= od Z
    :- krol(X,Y,Z),
    rok<=Z,
    rok>=Y.

%zad3
max(X,Y,Z) :- X>=Y,Z is X. %jezeli X jest wieksze od Y to wyswietl X.
max(X,Y,Z) :- X<Y,Z is Y.  %jezeli nie to wyswietl Y i zakoncz

/*zad4*/

student(mac).
student(michal).
student(iga).
student(kuba).

srednia(mac,4.3).
srednia(michal,3.2).
srednia(iga,5.0).
srednia(kuba,3,9).

stypendysta(X) :-  %Wyswietl X, gdzie  X jest imieniem studenta i gdzie X jest imieniem studenta w "sredniej" a Y jest jego srednia, gdzie jego ocena jest wieksza od 4.2.
    student(X),
    srednia(X,Y),
    Y  > 4.2.

%zad5

rodzic(malgorzata,albert).
rodzic(malgorzata,marcin).
rodzic(robert,albert).
rodzic(robert,marcin).
%dziadkowie

rodzic(alina,malgorzata).
rodzic(tadeusz,malgorzata).

rodzic(marysia,robert).
rodzic(wojciech,robert).

rodzic(marysia,malgorzata).
rodzic(wojciech,malgorzata).

rodzic(malgorzata,daniel).
rodzic(grzegorz,daniel).
rodzic(malgorzata,magda).
rodzic(grzegorz,magda).

rodzic(malgorzata, jagoda).
rodzic(piotr, jagoda).
rodzic(malgorzata, zuzanna).
rodzic(piotr, zuza).

mezczyzna(albert).
mezczyzna(marcin).
mezczyzna(daniel).
mezczyzna(robert).
mezczyzna(piotr).
mezczyzna(grzegorz).
mezczyzna(wojciech).
mezczyzna(tadeusz).

kobieta(jagoda).
kobieta(zuzanna).
kobieta(magda).
kobieta(malgorzata).
kobieta(marysia).
kobieta(alina).


matka(X,Y) :- %X jest matka Y, gdzie rodzicem jest X, a synem/corka Y oraz X jest kobieta
    rodzic(X,Y),
    kobieta(X).

ojciec(X,Y) :-  %X jest ojcem Y, gdzie rodzicem jest X, a synem/corka Y oraz X jest kobieta
    rodzic(X,Y),
    mezczyzna(X).

brat(X,Y) :- %X jest bratem Y
    mezczyzna(X), %jezeli X jest mezczyzna
    rodzic(Z,Y), %i Z jest rodzicem Y
        mezczyzna(Z), %i z jest mezczyzna (czyli ojcem)
    rodzic(Z,X), %i Z jest rodzicem X
        X \=Y. %i X nie jest Y

siostra(X,Y) :- %X jest siostra Y
    kobieta(X), %jezeli X jest kobieta
    rodzenstwo(X,Y), %i X jest r
    X \=Y. %nie jest tym samym

rodzenstwo(X,Y):- %X jest rodzenstwem z Y, jezeli:
    rodzic(Z,Y), %Z jest rodzicem Y
        mezczyzna(Z), %i z jest mezczyzna (czyli ojcem)
    rodzic(Z,X), %Z jest rodzicem X
    X \=Y. %X nie jest takie samo jak Y

dziadek(X,Y) :- %X jest dziadkiem Y, jezeli:
    mezczyzna(X), %X jest mezczyzna,
    rodzic(X,Z), %X jest ojcem z
    rodzic(Z,Y). %Z jest ojcem Y (czyli wnuczka)

babcia(X,Y) :-
    kobieta(X),
    rodzic(X,Z),
        rodzic(Z,Y).
wnuk(X,Y).
    rodzic(Z,X),
    rodzic(Y,Z).

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

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

potomek(X,Y) :-
    rodzic(Y,X).

potomek(X,Y) :-
    rodzic(Z,X),
    X\=Z,
    potomek(Z,Y).

krewny(X,Y) :-
    potomek(X,Y);
    przodek(X,Y).

ciotka(X,Y) :-
wujek(X,Y) :-
stryj(X,Y) :-

/////////////////////////////////////////////////////////////////////5 K Pancerz////////////////////////////
%zad 2.2s
%wszystkie bezposrednie loty z Waszawy:bezposrednilot(warszawa,X).
%wszystkie mozliwe polaczenia: polaczenia(X,Y).
bezposrednilot(rzeszow,warszawa).
bezposrednilot(warszawa,gdansk).
bezposrednilot(warszawa,szczecin).

polaczenie(X,Y):-  %istnieje polaczenie z X do Y, jezeli istnieje
    bezposrednilot(X,Y). %bezposrednilot z X do y), jezeli nie istnieje to:
polaczenie(X,Y):- %Istenieje polaczenie z X do Y, jezeli
bezposrednilot(X,Z),%istnieje polaczanie z X do Z, i jezeli
bezposrednilot(Z,Y).%jest bezposredni lot z Z do Y.

//////////////////////////////////////////////////////////////////Prezentacja a Nowak//////////////////////
/*
Rejsy(skad, dokad, odlot, przylot)
(wyraza dostepne loty miedzy miastami USA)
Połaczenie(skad, dokad, odlot, przylot)
(znajduje połaczenia posrednie i bezposredni ale na kazda przesiadke
rezerwuje minimum godzine czasu
*/
rejsy(sf,den, 930, 1230).
rejsy(sf,dal, 900, 1430).
rejsy(den, chi, 1500, 1800).
rejsy(den,dal, 1400, 1700).
rejsy(dal, chi, 1530, 1730).
rejsy(chi,ny, 1500, 1930).
rejsy(chi,ny, 1900, 2200).
rejsy(chi,ny, 1830, 2130).

polaczenie(X,Y,O,P) :- %istnieje polaczenie pomiedzy X a Y, o godzinie O i przylocie P, jezeli
          rejsy(X,Y,O,P). %istnieje rejs o z X do Y, o godzinie O i P. Jeżeli nie to wtedy:
polaczenie(X,Y,O,P) :- %istnieje polaczenie z X do Y, gdzie O jest godziną odlotu a P przylotu, jezeli:
          rejsy(X,Z,O,T1), %istnieje rejs z X do Z, o godzinie O, do T1,  jezeli:
          polaczenie(Z,Y,T2,P), %istnieje polaczenie z Z do Y o godzinie T2 i przylocie P, jezeli:
          T2 >=(T1+100).  %godzina T2 jest jest wieksza o godzine (100) od T1 by moc miec czas na przesiadke.

/*
polaczenie metra
*/

connected(bond_street, oxford_circus, central).
connected(oxford_circus, tottenham_court_road, central).
connected(bond_street, green_park, jubilee).
connected(green_park, charing_cross, jubilee).
connected(green_park, piccadilly_circus, piccadilly).
connected(piccadilly_circus, leicester_square, piccadilly).
connected(green_park, oxford_circus, victoria).
connected(oxford_circus, piccadilly_circus, bakerloo).
connected(piccadilly_circus, charing_cross, bakerloo).
connected(tottenham_court_road, leicester_square, northern).
connected(leicester_square, charing_cross, northern).
nearby(bond_street, oxford_circus).
nearby(oxford_circus, tottenham_court_road).
nearby(bond_street, tottenham_court_road).
nearby(bond_street, green_park).
nearby(green_park, charing_cross).
nearby(bond_street, charing_cross).
nearby(green_park, piccadilly_circus).
nearby(piccadilly_circus, leicester_square).
nearby(green_park, leicester_square).
nearby(green_park, oxford_circus).
nearby(oxford_circus, piccadilly_circus).
nearby(piccadilly_circus, charing_cross).
nearby(oxford_circus, charing_cross).
nearby(tottenham_court_road, leicester_square).
nearby(leicester_square, charing_cross).
nearby(tottenham_court_road, charing_cross).