Лекция 4: Метод резолюции
defaultValue- Подробности
- Категория: Логическое программирование от НОУ ИНТУИТ
Логика высказываний и предикатов. Сколемизация. Построение множества дизъюнктов. Унификация. Наиболее общий унификатор. Правило резолюции. Дизъюнкты Хорна. Стратегии поиска решений.
