Средства разработки приложений


             

Средства разработки приложений

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

Алгоритм унификации - 2
Алгоритм унификации - 3
Алгоритм унификации - 4
Содержание