Оптимальный маршрут авиаперелета с учетом расписания и времени

domains
город, номер_рейса, день=string
тип_время=время(integer, integer)
тип_рейс=рейс(номер_рейса, тип_время, тип_время, список_дней)
список_рейсов=тип_рейс*
список_дней=день*
тип_перелет=перелет(номер_рейса, город, город, тип_время)
перелеты=тип_перелет*
database
расписание(город, город, список_рейсов)
predicates
nondeterm рейс(город, город, номер_рейса, тип_время, тип_время, день)
nondeterm принадлежит(тип_рейс, список_рейсов)
nondeterm принадлежит(день, список_дней)
nondeterm маршрут(город, город, день, перелеты)
nondeterm время_вылета(перелеты, тип_время)
nondeterm пересадка(тип_время, тип_время)
clauses
расписание("Нижний Новгород", "Москва", [рейс("СУ 1223", время(6, 5), время(7, 20), [ежедневно])]).
расписание("Москва", "Санкт-Петербург", [рейс("СУ 1224", время(7, 5), время(9, 20), [ежедневно])]).
принадлежит(X, [X|_]).
принадлежит(X, [_|L]):- принадлежит(X,L).
рейс(Город1, Город2, Номер_рейса, Время_вылета, Время_прибытия, День):- 
расписание(Город1, Город2, Список_рейсов), принадлежит(рейс(Номер_рейса, Время_вылета, Время_прибытия, Список_дней), Список_рейсов),
принадлежит(День, Список_дней).
маршрут(Город1, Город2, День, [перелет(Номер_рейса, Город1, Город2, Время_вылета)]):-рейс(Город1, Город2, Номер_рейса, Время_вылета, _, День). 
маршрут(Город1, Город2, День, [перелет(Номер_рейса, Город1, Город3, Время_вылета1)|Маршрут]):-маршрут(Город3, Город2, День, Маршрут), рейс(Город1, Город3, Номер_рейса, Время_вылета1, Время_прибытия1, День), 
время_вылета(Маршрут, Время_вылета2), пересадка(Время_прибытия1, Время_вылета2).
время_вылета([перелет(Номер_рейса, Город1, Город3, Время_вылета)|_], Время_вылета).
пересадка(время(Часы1, Минуты1), время(Часы2, Минуты2)):-(60*(Часы2-Часы1)+(Минуты2-Минуты1))>=40.