SWISH -- SWI-Prolog for SHaring

/** <examples>
%получить список фильмов, идущих в каждом кинотеатре
?- findall(X-Ys, ( кинотеатр(X,_,_,_), findall(Y, кинофильм(X,Y,_,_,_), Ys) ), Xs).
?- кинотеатр(X,_,_,_), writeln(X), кинофильм(X,Y,_,_,_), format("  ~w~n", Y), fail ; true.
*/
кинотеатр("Факел","ш. Энтузиастов, 15/16","+7 (495) 362-12-19", "350").
кинотеатр("Формула Кино Лефортово","ш. Энтузиастов, 12/2,", "+7 (495) 958-77-98", "780").
кинотеатр("Спутник","ул. Солдатская, 15", "+7 (495) 361-29-19", "550").
кинотеатр("Олимпик Синема","Москва, Кабельная 5-я, 2 ст1", "+7 (495) 647-49-19", "691").
кинотеатр("Кинозал ГУМа","Красная пл., 3, ГУМ", "+7 (495) 788 43 43", "228").
кинотеатр("Романов Синема","Романов пер., 4, «Романов Двор II»", "+7 (495) 609 64 54","64").
 
кинофильм("Факел","Хрусталь","2018" ,"Дарья Жук" , "1").
кинофильм("Факел","Счастливый Лазарь","2018" ,"Аличе Рорвахер" , "1").
кинофильм("Формула Кино Лефортово","Аквамен","2018" ,"Джеймс Ван" , "1").
кинофильм("Формула Кино Лефортово","50 оттенков свободы","2018" ,"Джеймс Фоули" , "1").
кинофильм("Спутник","Гринч","2018" ,"Ярроу Чейни" , "1").
кинофильм("Спутник","Щелкунчик и четыре королевства","2018" ,"Лассе Халльстрём" , "1").
кинофильм("Олимпик Синема","Человек-паук: Через вселенные","2018" ,"Боб Персичетти" , "1").
кинофильм("Олимпик Синема","Бабалби","2018" ,"Трэвис Найт" , "1").
кинофильм("Кинозал ГУМа","Один король — одна Франция","2018" ,"Пьер Шоллер" , "1").
кинофильм("Кинозал ГУМа","Робин Гуд: Начало","2018" ,"Отто Батхёрст" , "1").
кинофильм("Романов Синема","ХРОНИКИ ХИЩНЫХ ГОРОДОВ","2018" ,"Кристиан Риверс" , "1").
кинофильм("Романов Синема","Ральф против интернета","2018" ,"Фил Джонстон" ,"1").
 
показывает("Факел", "Хрусталь", "14 декабря", "12:40" , "21:20", "200").
показывает("Факел","Счастливый Лазарь","13 декабря","19:40" , "24:20", "210").
показывает("Формула Кино Лефортово","Аквамен" , "15 декабря","17:40" , "20:20", "250").
показывает("Формула Кино Лефортово","50 оттенков свободы","8 февраля","18:50" , "23:50", "250").
показывает("Спутник","Гринч","15 декабря","12:40" , "14:20", "150").
показывает("Спутник","Щелкунчик и четыре королевства","16 декабря","22:40" , "15:20", "300").
показывает("Олимпик Синема","Человек-паук: Через вселенные","14 декабря","11:40" , "19:20", "270").
показывает("Олимпик Синема","Бабалби","16 декабря","20:40" , "19:10", "350").
показывает("Кинозал ГУМа","Один король — одна Франция","17 декабря","17:40" , "19:30", "250").
показывает("Кинозал ГУМа","Робин Гуд: Начало","16 декабря","22:25" , "15:00", "300").
показывает("Романов Синема","ХРОНИКИ ХИЩНЫХ ГОРОДОВ","14 декабря","21:35" , "18:40", "290").
показывает("Романов Синема","Ральф против интернета","10 декабря","11:00" , "15:10", "120").