Решение задачи на языке Prolog

Условие задачи:<br />Мишка верный и Катя Неверная-жених и невеста. Они встретились днем в пятницу.<br />1. Мишка с упреком сказал Кати, что тщетно пытался дозвониться ей в понедельник, вторник, среду и четверг. Кати ни разу не было дома!<br />2.-Должно быть, я была у подруг,-оправдывалась Катя.-Ты ведь знаешь, что их у меня четыре: Ольга, Пири, Рози и Шари. Вот я и захожу иногда к ним.<br />-И все четыре дня ты провела с подругами?<br />3.-Ну, разумеется! Ведь подруг у меня четыре, и каждый день я навещала другую.<br />-А почему нельзя было зайти ко всем четырем в один день?<br />4.-Потому что они не слишком любят друг друга, и мне пришлось для каждой придумать свою "программу" посещения. С одной мы отправились в парикмахерскую на укладку волос, с другой побывали у портнихи, с третьей совсем случайно встретились в библиотеке, а с четвертой давным давно договорились сходить на лодочную станцию у Римской набережной и покататься на лодке. Впрочем, какое тебе дело? Не мог дозвониться, ну и что?<br />Мишка обиженно промолчал, но мучившие его сомнения не рассеялись. Тщетно Катя пыталась уверить его, первые четыре дня недели именно так, как рассказала,-Мишка решил, хорошенько поразмыслив, докопаться до истины.<br />Какими сведениями он еще располагал?<br />5.Все первые четыре дня он звонил Кати с пляжа. Шари совершенно случайно все эти дни проводила на пляже.<br />6. Пири и Рози нельзя упрекнуть ни в чем дурном. Но именно сегодня, в Пятницу, они пожаловались друг другу, что волосы у них в ужасном беспорядке: по крайней мере неделю девушки не были в парикмахерской.<br />7. Признаться по совести, во вторник мишка ходил в кино с Ольгой. Там они встретили девушку, которая собиралась вместе с Катей отправиться к портнихе, но та неожиданно куда-то уехала. <br />8. Катя бывает в парикмахерской с утра во вторую половину недели(По четвергам, пятницам и субботам), чем бы она ни занималась.<br />9. Ни Пири, ни Рози никогда не бывают в библиотеке.<br />10. По вторникам у римской набережной выходной день.<br />Что можно сказать о "программе" Кати неверной?<br />

В архиве содержится исходный код программы на языке Prolog. Строчки кода имеют комментарии, так что будет намного проще защищать данную работу у преподавателя.