Содержание
1. Сравнительная характеристика декларативных и процедурных языков программирования. 2
2. Предикаты. Предложения: факты и правила. (Prolog) 3
3. Переменные. Анонимные переменные. Конкретизация переменных. (Prolog). 5
4. Сопоставление и унификация. Предикат равенства. (Prolog). 6
5. Основные секции программы. (Prolog). 7
6. Основные стандартные домены. (Prolog). 8
7. Основные принципы поиска с возвратом. (Prolog). 9
8. Управление поиском решений. (Prolog). 9
9. Простые и составные объекты данных. (Prolog). 11
10. Рекурсия. (Prolog). 12
11. Списки: объявление и примеры работы. (Prolog). 14
12. Метод отката после неудачи (Prolog). 15
13. Основы языка LISP. Символьные выражения: атомы и списки. (Lisp). 16
14. Базовые функции и предикаты. (Lisp). 17
15. Функции, определение функций. (Lisp). 18
16. Простая рекурсия. (Lisp). 19
Выдержка из текста
1. Сравнительная характеристика декларативных и процедурных языков программирования. 2
2. Предикаты. Предложения: факты и правила. (Prolog) 3
3. Переменные. Анонимные переменные. Конкретизация переменных. (Prolog). 5
4. Сопоставление и унификация. Предикат равенства. (Prolog). 6
5. Основные секции программы. (Prolog). 7
6. Основные стандартные домены. (Prolog). 8
7. Основные принципы поиска с возвратом. (Prolog). 9
8. Управление поиском решений. (Prolog). 9
9. Простые и составные объекты данных. (Prolog). 11
10. Рекурсия. (Prolog). 12
11. Списки: объявление и примеры работы. (Prolog). 14
12. Метод отката после неудачи (Prolog). 15
13. Основы языка LISP. Символьные выражения: атомы и списки. (Lisp). 16
14. Базовые функции и предикаты. (Lisp). 17
15. Функции, определение функций. (Lisp). 18
16. Простая рекурсия. (Lisp). 19
Список использованной литературы
—