Ebook: Основы логического и функционального программирования

Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета.
Предложения: факты и правила
Запросы
Предикаты
Переменные
Основные секции программы
Основные стандартные домены
Поиск с возвратом
Управление поиском с возвратом: предикаты! и fail
Рекурсия
Составные объекты
Списки
Деревья
Строки
Основы функционального программирования
Введение
Символьные выражения
Списки
Функции
Базовые функции
Управляющие структуры (предложения)
Простая рекурсия
Другие виды рекурсии