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

Описание товара

Условие задачи:

Мишка верный и Катя Неверная-жених и невеста. Они встретились днем в пятницу.

• Мишка с упреком сказал Кати, что тщетно пытался дозвониться ей в понедельник, вторник, среду и четверг. Кати ни разу не было дома!

2.-Должно быть, я была у подруг,-оправдывалась Катя.-Ты ведь знаешь, что их у меня четыре: Ольга, Пири, Рози и Шари. Вот я и захожу иногда к ним.

-И все четыре дня ты провела с подругами?

3.-Ну, разумеется! Ведь подруг у меня четыре, и каждый день я навещала другую.

-А почему нельзя было зайти ко всем четырем в один день?

4.-Потому что они не слишком любят друг друга, и мне пришлось для каждой придумать свою "программу" посещения. С одной мы отправились в парикмахерскую на укладку волос, с другой побывали у портнихи, с третьей совсем случайно встретились в библиотеке, а с четвертой давным давно договорились сходить на лодочную станцию у Римской набережной и покататься на лодке. Впрочем, какое тебе дело? Не мог дозвониться, ну и что?

Мишка обиженно промолчал, но мучившие его сомнения не рассеялись. Тщетно Катя пыталась уверить его, первые четыре дня недели именно так, как рассказала,-Мишка решил, хорошенько поразмыслив, докопаться до истины.

Какими сведениями он еще располагал?

5.Все первые четыре дня он звонил Кати с пляжа. Шари совершенно случайно все эти дни проводила на пляже.

• Пири и Рози нельзя упрекнуть ни в чем дурном. Но именно сегодня, в Пятницу, они пожаловались друг другу, что волосы у них в ужасном беспорядке: по крайней мере неделю девушки не были в парикмахерской.
• Признаться по совести, во вторник мишка ходил в кино с Ольгой. Там они встретили девушку, которая собиралась вместе с Катей отправиться к портнихе, но та неожиданно куда-то уехала.
• Катя бывает в парикмахерской с утра во вторую половину недели(По четвергам, пятницам и субботам), чем бы она ни занималась.
• Ни Пири, ни Рози никогда не бывают в библиотеке.
• По вторникам у римской набережной выходной день.

Что можно сказать о "программе" Кати неверной?

Дополнительная информация

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