Основы программирования на языке Пролог

Основы программирования на языке Пролог

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