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

       

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

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

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

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

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

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

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

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

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

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

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

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

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

Postgres - статьи

Для начала сделаю лирическое отступление. Все что будет говорится ниже касается Linux. Однако, у меня не вызывает особых сомнений тот факт, что большая часть этого будет работать в любой UNIX системе. Тем не менее, кое-что может отличаться и если у вас что-то отличное от UNIX и если что-то не идет, то вам следует подумать головой.

Получение архива с исходными текстами
Что надо знать о словарях
Написание расширений для PostgreSQL с использованием GiST

PostgreSQL 8.3
Что такое PostgreSQL?


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