Проверка логического следования методом резолюции

Итак, рассмотрим алгоритм проверки логического следования методом резолюции.Алгоритм проверка логический резолюция.Метод резолюции можно применить к любому множеству дизъюнктов, чтобы проверить их противоречивость.Рисунок 1 - Пример доказательства теоремы методом резолюции.Его реализация будет представлена па логическом языке Prolog и на функциональном языке Haskell.Для начала необходимо рассмотреть принцип резолюции.Для начала определим операцию логического отрицания.Первая функция нужна для проверки, являются ли атомы контрарными.Итак, теперь перейдем к проверке.? - pusk ([[a, s, $b, $c] , [$a, b] , [$s, c]]) .