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

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

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

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

Основные понятия Пролога
Семантические модели Пролога
Самостоятельные задания


Рекурсия
Самостоятельные задания

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

Основы Турбо Пролога. Структура программы на Турбо Прологе

Структура программы на Турбо Прологе
Директивы компилятора
Раздел описания констант
Раздел описания доменов
Раздел описания предикатов внутренней базы данных
Раздел описания предикатов
Раздел описания предложений
Раздел описания внутренней цели
Предикаты ввода-вывода

Самостоятельные задания
Управление выполнением программы на Прологе
Списки
Самостоятельные задания

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

Сортировка списков
Пузырьковая сортировка
Сортировка вставкой
Сортировка выбором
Быстрая сортировка
Сортировка слияниями

Самостоятельные задания

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

Множества
Самостоятельные задания
Деревья
Самостоятельные задания
Строки
Самостоятельные задания
Файлы
Самостоятельные задания
Внутренние (динамические) базы данных
Самостоятельные задания
Пролог и искусственный интеллект
Самостоятельные задания

Содержание раздела