1. Задача о соседе.
Известно, что сосед был убит у себя дома в 12 часов, к нему заходили почтальон в 12 часов и сантехник в 10 часов. Убийца тот, кто заходил в дом в час убийства. Написать Пролог-программу, которая делает вывод, кто является убийцей соседа.
Указание:
для создания факта о времени убийства соседа объявить предикат was_killed(time); правило определения убийцы перефразировать так: некто является убийцей жертвы в том случае, если он находился в доме в тоже время, когда была убита жертва.
2. Шмык и Дрыг – угубки. Если почесать угубку за ухом, он начнет довольно шипеть. Если угубок довольно зашипит, то молоко поблизости скиснет. Прык довольно зашипел и молоко скисло. Шмока почесали за ухом. Ответить на вопросы:
a. Кто угубок?
b. Угубок ли Прык?
c. Угубок ли Шмок?