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



         

02


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



Содержание