Лекции по Логическому программированию

УЦ "Интеграция", Серпухов, Рязанов А.М., 6 семестр, 2010.Введение в дисциплину.
Теоретические основы языка Пролог.
Базовые понятия языка Пролог.
Рекурси.
Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора.
Управление выполнением программы на Прологе.
Списки.
Сортировка списков.
Множества.
Деревья.
Строки.
Файлы.
Внутренние (динамические) базы данных.
Пролог и искусственный интеллект.