ФЛП — Вопросы к экзамену

Абстракции логического программирования. Структура Пролог-программы. Назначение секций.

Константы и переменные. Объекты и отношения.

Предикаты. Области определения предикатов и объектов.

Цели. Согласование целей. Согласование объектов.

Правила. Структура и согласование правил. Поиск с возвратом в итеративных задачах. Пример.

Простые объекты и структуры.

Множественное объявление объектов и предикатов.

Арифметика, операции отношения, ввод и вывод в Прологе. Примеры.

Бинарные деревья. Процедура принадлежности элемента дереву.

Списки. Процедура принадлежности элемента списку.

Рекурсивные процедуры. Правила построения рекурсивных процедур. Пример.

Процедуры обработки списков: модификация, фильтрация.

Декларативный и процедурный смысл программы.

Принудительный возврат. Отрицание. Примеры.

Прерывание поиска с возвратом. Зелёное и красное отсечения. Примеры.

Оптимизация хвостовой рекурсии. Примеры.

Статическая и динамическая базы данных в Прологе. Предикаты для работы с динамической базой данных. Примеры.

Цикл работы механизма вывода. Прямая и обратная цепочки рассуждений.

Логика высказываний. Формулы логики высказываний и их интерпретация.

Логика высказываний. Тождественно истинная формула. Равносильность. Логическое следствие и выводимость.

Логика высказываний. Теорема о дедукции

Логика предикатов. Кванторы. Символы языка логики предикатов.

Логика предикатов. Формулы логики предикатов и их интерпретация.

Логика предикатов. Тождественно истинная формула. Равносильность. Логическое следствие и выводимость.

Правило резолюции в логике высказываний. Вывод из множества дизъюнктов в логике высказываний.

Правила резолюции и склейки в логике предикатов. Вывод из множества дизъюнктов в логике предикатов.

Метод резолюций в логике высказываний и в логике предикатов. Дизъюнкт Хорна и метод резолюций в логическом программировании.

Абстракции функционального программирования. Свойства функциональных языков.

Преимущества и недостатки функционального подхода.

Сравнение функционального и логического программирования.

Предыдущий:

Следующий: