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