flights.pl

isConnected(edinburgh,london,[flight(9-40,10-50,ba4733,days(mo,tu,we,th,fr,sa,su)),flight(13-40,14-50,ba4773,days(mo,tu,we,th,fr,sa,su)),flight(19-40,20-50,ba4833,days(mo,tu,we,th,fr,su))]).
isConnected(london,edinburgh,[flight(9-40,10-50,ba4732,days(mo,tu,we,th,fr,sa,su)),flight(11-40,12-50,ba4752,days(mo,tu,we,th,fr,sa,su)),flight(18-40,19-50,ba4822,days(mo,tu,we,th,fr))]).
isConnected(london,athens,[flight(13-20,16-20,oa212,days(mo,tu,we,fr,su)),flight(16-30,19-30,ba473,days(mo,we,th,sa))]).
isConnected(london,zurich,[flight(9-10,11-45,ba614,days(mo,tu,we,th,fr,sa,su)),flight(14-45,17-20,sr805,days(mo,tu,we,th,fr,sa,su))]).
isConnected(london,milan,[flight(8-30,11-20,ba510,days(mo,tu,we,th,fr,sa,su)),flight(11-0,13-50,az459,days(mo,tu,we,th,fr,sa,su))]).
isConnected(athens,zurich,[flight(11-30,13-10,oa322,days(tu,th))]).
isConnected(athens,london,[flight(11-10,14-20,oa211,days(mo,tu,we,fr,su)),flight(20-0,23-10,ba472,days(mo,we,th,sa))]).
isConnected(milan,london,[flight(9-10,11-0,az458,days(mo,tu,we,th,fr,sa,su)),flight(12-20,14-20,ba511,days(mo,tu,we,th,fr,sa,su))]).
isConnected(milan,zurich,[flight(9-25,10-15,sr621,days(mo,tu,we,th,fr,sa,su)),flight(12-45,13-35,sr623,days(mo,tu,we,th,fr,sa,su))]).
isConnected(zurich,athens,[flight(13-30,15-10,oa323,days(tu,th))]).
isConnected(zurich,london,[flight(9-0,10-40,ba613,days(mo,tu,we,th,fr,sa)),flight(16-10,16-55,sr806,days(mo,tu,we,th,fr,su))]).
isConnected(zurich,milan,[flight(7-55,8-45,sr620,days(mo,tu,we,th,fr,sa,su))]).
isConnected(thessaloniki,athens,[flight(6-30,7-0,oa3333,days(mo,tu,we,th,fr,sa,su)),flight(9-30,10-0,oa3334,days(mo,tu,we,th,fr,sa,su)),flight(13-30,14-0,oa3335,days(mo,tu,we,th,fr,sa,su)),flight(18-30,19-0,oa3336,days(mo,tu,we,th,fr,sa,su))]).
isConnected(athens,thessaloniki,[flight(8-0,8-30,oa3343,days(mo,tu,we,th,fr,sa,su)),flight(11-0,11-30,oa3353,days(mo,tu,we,th,fr,sa,su)),flight(15-0,15-30,oa3363,days(mo,tu,we,th,fr,sa,su)),flight(20-0,20-30,oa3373,days(mo,tu,we,th,fr,sa,su))]).
isConnected(thessaloniki,zurich,[flight(12-0,13-15,oa888,days(mo,tu,we,th,fr,sa,su))]).
isConnected(zurich,thessaloniki,[flight(15-30,16-45,oa889,days(mo,tu,we,th,fr,sa,su))]).