% databaze letadel


% struktura dat:
% Nazev, typ, nosnost[t] (kapacita[osob]), dolet[km], max. rychlost[km/h], datum prvniho letu

letadlo(airbusA380, dopravni,  853,  15200, 1176, 2005).
letadlo(an225, nakladni, 250, 15400, 850, 1988).
letadlo(an124, nakladni, 150, 15000, 865, 1982).
letadlo(an2, dopravni, 12, 845, 258, 1947).
letadlo(iL62M, dopravni, 198, 11000, 900, 1971).
letadlo(concorde, dopravni, 120, 7250, 2330, 1969).
letadlo(boeing747, dopravni, 416, 14205, 1093, 1988).
letadlo(c5, nakladni, 122, 11700, 931, 1968).
letadlo(c17, nakladni, 77, 4482, 830, 1991).



%vypis vsech letadel:
?- letadlo(Nazev, Typ, Nosnost, Dolet, MaxRychlost, DatumVzletu).

% vypis letadel s max. rychlost nad 300 km/h:
maxRychVetsi(MaxRychl):-letadlo(Nazev, Typ, Nosnost, Dolet, MaxRychlost, DatumVzletu), MaxRychlost > MaxRychl.
?- maxRychVetsi(300).

% vypis letadel s max. rychlosti 850 km/h:
maxRychRovno(MaxRychl):-letadlo(Nazev, Typ, Nosnost, Dolet, MaxRychlost, DatumVzletu), MaxRychlost =:= MaxRychl. 
?- maxRychRovno(850).

% vypis letadel s max. rychlost mensi nez 1000 km/h:
maxRychMensi(MaxRychl):-letadlo(Nazev, Typ, Nosnost, Dolet, MaxRychlost, DatumVzletu), MaxRychlost < MaxRychl.
?- maxRychMensi(1000).

% vypis vsech nakladnich letadel
?- letadlo(Nazev, nakladni, Nosnost, Dolet, MaxRychlost, DatumVzletu).

% vypis vsech dopravnich letadel
?- letadlo(Nazev, dopravni, Nosnost, Dolet, MaxRychlost, DatumVzletu).

% vypis vsech dopravnich letadel s doletem nad 12000 km
dopravniDoletNad(DoletNad):-letadlo(Nazev, dopravni, Nosnost, Dolet, MaxRychlost, DatumVzletu), Dolet > DoletNad.
?-dopravniDoletNad(12000).

% vypis vsech letadel s datem prvniho letu pred rokem 2000
datumVzletuStarsiNez(Datum):-letadlo(Nazev, Typ, Nosnost, Dolet, MaxRychlost, DatumVzletu), DatumVzletu < Datum.
?-datumVzletuStarsiNez(2000).

% vypis nakladnich letadel s nosnosti nad 100 t
nosnostNad(NosnostNad):-letadlo(Nazev, nakladni, Nosnost, Dolet, MaxRychlost, DatumVzletu), Nosnost > NosnostNad.
?-nosnostNad(100).