Оглавление

Логическое программирование. Язык Prolog. 4

1. Предикаты 4

Пример 1.1. Максимум из двух чисел 4

2. Отсечения 4

Пример 2.1. Максимум из двух чисел, вычисления с отсечениями 4

3. Ветвления 4

Пример 3.1. Реализация ветвления 4

4. Операторы 5

Пример 4.1. Определение условных операторов 5

5. Рекурсия 5

Пример 5.1. Рекурсивное определение отношения «Предок» 5

Пример 5.2. Вычисление факториала 5

6. Хвостовая рекурсия 6

Пример 6.1. Вычиление факториала с с использованием хвостовой рекурсии 6

Пример 6.2. Вычисление чисел Фибоначчи 6

7. Обработка списков 7

Пример 7.1. Вычисление длины списка 7

Пример 7.2. Проверка принадлежности элемента списку 7

Пример 7.3. Соединение двух списков 7

Пример 7.4. Обращение списка 8

Пример 7.5. Среднее арифметическое элементов списка. 8

8. Сортировка списков 10

Пример 8.1. Пузырьковая сортировка 10

Пример 8.2. Сортировка вставкой 10

Пример 8.3. Сортировка выбором 11

9. Строки 11

Пример 9.3. Преобразование строки в список символов 12

Пример 9.4. Подсчет кол-ва вхождений заданного символа в строку 12

Пример 9.6. Замена заданного символа в строке – на другой 13

Пример 9.7. Удаление части строки 14

Пример 9.8. Копирование части строки 15

Пример 9.9. Вставка одной строки внутрь другой 15

10. Множества 16

Пример 10.1. Превращение произвольного списка в множество 16

Пример 10.2. Операция объединения двух множеств. 16

Пример 10.3. Пересечение множеств 17

Пример 10.4. Разность множеств 17

Пример 10.5. Проверка, является ли одно множество подмножеством другого. 18

Пример 10.6. Предикат, реализующий отношение равенства двух множеств. 18

Пример 10.7. Определение собственного подмножества множества 18

Пример 10.8. Симметричная разность 19

Пример 10.9. Дополнение множества 19

11. Деревья 20

Пример 11.1. Принадлежность элемента дереву 20

Пример 11.2. Замена заданного значения на другое в дереве 20

Пример 11.3. Подсчет общего количества вершин дерева 21

Пример 11.4. Подсчет количества листьев (узлов без сыновей) 21

Пример 11.5. Подсчет суммы чисел в вершинах дерева 21

Пример 11.6. Предикат, вычисляющий высоту дерева 22

Пример 11.7. Проверка принадлежности значения двоичному справочнику . 22

Пример 11.8. Добавление элемента в двоичный справочник 23

Пример 11.9. Генератор случайного двоичного справочника из чисел 23

Пример 11.10. Удаление заданного значения из двоичного справочника 24

Пример 11.11. Преобразование произвольного списка в двоичный справочник 25

Пример 11.12. Предикат, сворачивающий заданный двоичный справочник в список 25

12. Базы знаний 27

Пример 12.1. Вычисление чисел Фибоначчи с запоминанием результатов 27

13. Логические задачи (головоломки) 28

Пример 13.1. Перестановка кубиков 28

Пример 13.2. Ханойский башни 29

Пример 13.3. Волк, коза и капуста 29

Пример 13.4. Побег из Зурга 30