Цитата:
|
решить эти задачи в ПРОЛОГе или ЛИСПе
|
Пролог это язык программирования для математиков, а не программистов. Человека, не знающего ассемблер хоть одной платформы, вообще к компьютеру подпускать нельзя. Так как после переделки "изделий" этих физ-матиков
задача требует на 2-3 порядка меньше ресурсов и "летает" на обычном современном PC.
Добавлено
Пример формализации на примере 1
Некоторые улитки значит только часть множества Улитки имеем функцию Некоторые от множества Улитки
Некоторые(Улитки)
являются Горами значит принадлежат множеству Горы
Некоторые(Улитки) e Горы
Все Горы любят Кошек значит множество Горы имеет функциональное отношение к множеству Кошки
Горы -> Кошки
все улитки любят кошек?
Улитки->Кошки
Рассмотрим логические выводы выше из них получаем
Некоторые(Улитки) -> Кошки
Стало быть ответ неверный, на самом деле только
Некоторые(Улитки) -> Кошки