- •1. Парадигмы императивного и декларативного программирования.
- •2. Основные задачи для функционального и логического программирования.
- •3. Основные понятия систем ии.
- •4. Понятие функционального программирования и основные положения по а.П. Ершову.
- •5. Понятие функциональности.
- •6. Понятие прозрачности по ссылкам.
- •7. Виды вычислений в функциональных языках.
- •8. Понятие бестипового программирования.
- •9. Обзор функциональных языков программирования.
- •10. Свойства функционального программирования в постановке а. П. Ершова.
- •11. Структура символьного выражения в Лиспе.
- •12. Символы, атомы, константы, t, nil, списки.
- •13. Список как основная структура функционального и логического программирования.
- •14. Префиксная нотация Лиспа, вычисление арифметических выражений.
- •15. Понятие псевдофункции.
- •16. Псевдофункция статического связывания объекта.
- •17. Функция eval.
- •18. Функция quote.
- •19. Символьные выражения Лиспа.
- •20. Символьные выражения Пролога и Эрланга
- •21. Основные примитивы Лиспа для обработки списка.
- •22. Графическое представление списка.
- •23. Принципы работы с памятью функциональной и логической программы
- •24. Автоматические сборщики мусора
- •25. Старт-стопные сборщики мусора и сборщики мусора реального времени
- •26. Список в Эрланге, конструктор списка
- •27. Образец, сопоставление с образцом
- •28. Выделение элементов списка в Эрланге с помощью примитивов.
- •29. Выделение элементов списка в Эрланге с использованием образцов
- •30. Порядок вычисления лямбда выражений
- •31. Функция определения функций (связывание символов)
- •Ключевой параметр optional, key, res.
- •33. Карринговая форма записи функций нескольких переменных.
- •Формы организации временного контекста (let/let*).
- •Последовательная и одновременная передача параметров вычисляемой формы.
- •Форма организации условных вычислений cond.
- •37. Последовательные вычисления в Лиспе.
- •42. Классификация и виды рекурсии.
- •43. Рекурсия по аргументу, пример
- •44. Рекурсия по значению, пример
- •45. Параллельная рекурсия
- •46. Косвенная рекурсия, пример
- •47. Реализация рекурсивного вызова, функция трассировки в Лиспе
- •48. Функция принадлежности аргумента списка, декларативное определение
- •49. Эффективность рекурсивного и итерационного процесса.
- •50. Хвостовая рекурсия
- •51. Понятие функции высокого порядка
- •52. Применяющий функционал Лиспа
- •53. Обобщение вычислений посредством использования функций высокого порядка
- •54. Отображающие функционалы
- •55. Понятие лексического замыкания, формы организации лексического замыкания
- •56. Генератор в программировании, понятие вычислительного контекста
- •57. Связь дисциплины логического программирования с дисциплиной "базы данных"
- •58. Cвязь логического программирования с искусственным интеллектом
- •59. Логическое программирование и функциональное программирование
- •60. Логическое программирование и параллельное программирование
- •61. Логическая теория Фреге и значение её для логического программирования.
- •62. Теория Френча и Эрбрана и значение её для логического программирования.
- •63. Теория Тьюринга, значение для логического программирования.
- •64. Дизъюнкт Хорна
- •65. Резолюция, правило резолюции как процедура вывода решений
- •66. Сопоставление в логическом программировании
- •67. Понятие инверсных вычислений
- •68. Структура терма
- •69. Переменная, конкретизация переменных
- •70. Атом
- •71. Структура, функтор, компоненты
- •72. Факты, пример записи фактов
- •73. Правило, пример записи правила
- •74. Процедура вывода решения, как процедура доказательства теоремы
- •75. Поиск с возвратом
- •76. Сопоставление термов
- •77. Операционная модель машины вывода Пролога
- •78. Операторная нотация в прологе
- •79. Определение оператора и его свойства.
- •80. Пример "естественной языковой" записи программы на Прологе.
- •81. Оператор присваивания в прологе
- •82. Детерминированные и недетерминированные предикаты
- •83. Отсечение, операционная модель Пролога в случае применения отсечения.
- •84. Операционная семантика Пролога при использовании сечения
- •85. Подцель, терпящая неудачу
- •86. Запись списка в виде структуры
- •87. Традиционная форма записи списка
- •88. Рекурсивное логическое программирование
- •89. Запись фактов, записи рекуррентных определений
- •95. Организация ввода/вывода в прологе
- •96. Предикат открытия и чтения текущего входного потока
- •97. Предикат открытия и записи текущего выходного потока
- •98. Перемещение терма во внешнюю память базы данных
- •99. Организация работы с динамической базой данных
- •100. Предикат assert для перемещения фактов и правил
- •101. Constraint программирование: наложение ограничений и виды ограничений
- •102. Классификация Constraint систем логического программирования
- •103. Стандартные предикаты Constraint систем программирования
- •104. Множественные предикаты. Описание компонентов
- •105. Металогические предикаты
- •106. Металогические предикаты для анализа структуры термы
- •107. Металогические предикаты для определения типа переменных
102. Классификация Constraint систем логического программирования
Например, CLP(B) означает возможность решать уравнения с булевыми переменными. CLP(Q) - уравнения в рациональных числах, а CLP(R) - в вещественных. Причем последние могут решаться приближенно CLP(Rfloat), а могут с применением интервальной арифметики CLP(Rint). Но наиболее популярны решатели задач на конечных доменах CLP(FD), то есть на конечных множествах целых чисел.
103. Стандартные предикаты Constraint систем программирования
Обычные знаки арифметических отношений, которые имеют префикс #, указывают на их особый статус. Арифметические ограничения можно комбинировать с помощью логических связок (#\, #/\, #\/, #=> и #<=>).
предикат indomain(X), который возвращает все значения из области определения ограниченной переменной. indomain может выдать очень много значений. Как правило каждая переменная вводится с явным описанием домена, который представляет собой либо диапазон целых чисел, либо список все тех же целых чисел. Выполнение
domain(X,1,100)- ограничивает значения X диапазоном от 1 до 100. То же самое можно сделать посредством
104. Множественные предикаты. Описание компонентов
Возможность получение различных ответов на вопрос путем отката полезна, но бывает недостаточной. Иногда требуется получить все ответы сразу. Для этого предназначены "множественные" предикаты findall, bagof и setof.
Предикат findall создает список значений переменной, являющихся ответами на вопрос. Если нет ни одного ответа возвращается пустой список.
Предикат bagof(Object,Goal,List) порождает список List всех объектов Object, отвечающих цели Goal. Очевидно, что Goal и Object должны содержать общие переменные.
В случае отсутствия решения предикат неуспешен
Предикат setof(Object,Goal,List) отличается от предыдущего предиката в следующем:
• список List будет упорядочен;
• из всех повторяющихся элементов в список войдет только один. Упорядочение происходит по алфавиту или по возрастанию, если элементы списка числа.
Предикат findall(Object,Goal,List) отличается от bagof тем, что он не обращает внимание на различные конкретизации тех переменных из Goal, которых нет в Object. В случае отсутствия решения предикат все равно будет успешен со значением [].
105. Металогические предикаты
Металогические конструкции позволяют повысить выразительность программирования в любой среде. Металогические предикаты служат для анализа структуры доказательства. Поскольку данный вид предикатов выходят за рамки логики первого порядка, их применение весьма ограничено в реализациях Пролога со строгой типизацией данных. Основное назначение таких предикатов – анализ структуры доказательства. Метапредикаты в языке PROLOG служат для реализации (как минимум) пяти целей:
Определение "типа" выражения.
Добавление ограничений "типа" в логические приложения.
Построение, разделение и оценка структур PROLOG.
Сравнение значений выражений.
Преобразование предикатов, передаваемых в виде данных, в исполняемый код.