ТулГУ Контрольная работа по дисциплине «Специальные разделы высшей математики. Часть 2» Тема: Прямой и обратный вывод в логике предикатов 7 Вариант
Задачи
Осуществить прямой выбор на основе унификации и обратный вывод на основе метода резолюции в среде кубиков в соответствии с вариантом.
Варианты начального состояния и цели для среды кубиков:
Вариант 7