Функціональне та логічне програмування

Особливості мови Лісп: єдине представлення даних та програм; списки – основна структура мови; функції, як основний метод маніпуляції зі списками; рекурсивний стиль написання багатьох функцій; зберігання даних, що не залежить від місця; автоматичне та динамічне управління пам’яттю та інші. Система програмування мови Steel Bank Common Lisp..Базові програми системи програмування на мові SBCL. Тестовий редактор Emacs. Лісп-система SBCL. Пакетний менеджер Quicklisp. Уніфікований користувацький інтерфейс SLIME для Emacs. Приклад іншої реалізації ANSI стандарту Лісп: GNU Common Lisp (GCL). Пошук та встановлення дистрибутиву мови GCL під Windows. Основи мови Лісп. Проста рекурсія. Інші форми рекурсії: паралельна рекурсія, взаємна рекурсія, циклічні (ітераційні) обчислення, рекурсія вищого порядку. Об’єктно-орієнтоване програмування з використанням мови CLOS. Загальна характеристика мови Пролог. Метод логічного програмування. Логічна програма. Пролог – це мова логічного програмування побудована на основі теорії предикатів першого порядку. Системи програмування сімейства Пролог. Система програмування мови SWI-Prolog. Система програмування мови Visual Prolog. Основи мови Пролог. Програмування на Visual Prolog. Використання мови Пролог в області штучного інтелекту.