Основы программирования на языке Пролог
Основы программирования на языке ПрологАлгоритм приведения произвольной формулы исчисления предикатов к множеству дизъюнктов
Алгоритм унификации
Содержание раздела
Основы программирования на языке Пролог
Алгоритм приведения произвольной формулы исчисления предикатов к множеству дизъюнктов
Алгоритм унификации
Содержание раздела