http://ermak.cs.nstu.ru/flp
Вопросы к государственному итоговому экзамену
для студентов 4 курса АВТФ
(гр. АП)
«Функциональное и логическое программирование»
Сравнительная характеристика декларативных и процедурных языков программирования. Основные отличия, области применения. Предикаты. Предложения: факты и правила. Запросы (цели). Переменные. Анонимные переменные. Конкретизация переменных. Сопоставление и унификация. Предикат равенства. Основные секции программы. Основные стандартные домены. Детерминизм. Основные принципы поиска с возвратом. Управление поиском решений (предикат fail). Управление поиском решений (предикат!). Составные объекты данных. Многоуровневые составные объекты данных. Аргументы множественных типов. Предикат repeat. Рекурсия. Хвостовая рекурсия. Деревья: объявление и примеры работы. Списки: объявление и примеры работы. Составные списки: объявление и примеры работы. Динамические базы данных: объявление и использование. Динамические базы данных: загрузка и сохранение фактов. Динамические базы данных: добавление и удаление фактов. Графы: представление графов и действия над графами. Основы языка LISP. Символьные выражения: атомы и списки. Базовые функции и предикаты. Управляющие предложения. Структуроразрушающие функции. Внутреннее представление списков. Точечная пара. Простая рекурсия. Рекурсия по значению и рекурсия по аргументу. Параллельная рекурсия. Взаимная рекурсия. Рекурсия более высокого порядка. Ассоциативные списки.