Лекция 7: Отрицание в логическом программировании

Подробности

Категория: Логическое программирование от НОУ ИНТУИТ

Отрицание. Управление перебором и отсечение. Метод генерации и проверок.