- •1Базовые функции обработки списков.
- •2Определение и вызов функций с помощью λ-выражений. Λ-список, λ-преобразование. Свободные и связанные переменные. Функция defun
- •3Локальные определения (форма let).
- •4Функции более высокого порядка. Функциональный аргумент, функциональное значение. Способы композиции функций.
- •5Автоматическое управление памятью в Лиспе. «Сборка мусора».
- •11Какую (двоякую) роль играет в Лиспе функция eval?
- •12Возвращение функцией нескольких величин.
- •13Базовые функции Лиспа.
- •14Опишите три варианта предиката равенства в Лиспе.
- •1Равенство в Прологе.
- •2Встроенные предикаты. Предикаты взаимодействия.
- •4Аппарат вычислений. Обработка списков.
- •5Аппарат вычислений. Рекурсивные определения в Прологе.
- •6Аппарат вычислений. Управление откатом: отсечение.
- •7Аппарат вычислений. Поиск в глубину с возвратом.
- •8Аппарат вычислений. Вывод и процедура отката.
- •9Аппарат вычислений. Процедура унификации в Прологе.
- •10Синтаксис данных (термы и основные объекты Пролога).
- •11Структура программы в языке Пролог (синтаксис языка).
- •12Логическая и управляющая компоненты Пролога.
- •14Общая характеристика языка Пролог.
14Общая характеристика языка Пролог.
Логическое программирование представляет собой нетрадиционную технологию программирования. Оно основано на идеи описания задачи совокупных утверждений, в некотором формальном логическом языке и получение решения задачи построением вывода в формальной дедуктивной системе.
Пролог и язык, представленный в системе логического программирования. Базовыми понятиями этого языка считаются факты, запросы, правила ввода, а так же принятия решений. Главную роль в Прологе играют базы запросов. При работе программы система даёт ответы на запросы. Ответы при этом строго определённые «истина», «ложь». Факты в базах данных этого языка представляют конкретные знания. Эти знания и сведения создаются в языке с помощью правил ввода и набора таких правил.
Факт используется для констатации того, что выполнено некоторое отношение между объектами.
Отношения в Prolog называются предикатами, объекты - термами.
Переменные в Prolog не рассматриваются как выделенный участок памяти, она служит для обозначения объекта, на который нельзя сослаться по имени. Переменную можно считать локальным именем объекта.
Запрос - конкретному примеру логического программирования соответствует понятие запроса(цели). Вычисление ответа на запрос соответствует доказательству существования объекта делающего цель истинной.