ФИЛП Теория (Книга)

Название: 
ФИЛП Теория
Тип: 
Книга
Содержание: 

Содержание
Часть1
1.1 СИМВОЛЫ И СПИСКИ…………………………………………………...1
Логические значения Т и NIL……………………………………………3
Константы и переменные………………………………………………..3
Атомы - Символы + Числа………………………………………………3
Построение списков из атомов и подсписков…………………………4
Различная интерпретация списков…………………………………….4
1.2 ПОНЯТИЕ ФУНКЦИИ…………………………………………………….4
Определение и вызов функции…………………………………………4
Единообразная префиксная нотация…………………………………..5
Диалог с интерпретатором Лиспа………………………………………5
Иерархия вызовов………………………………………………………..5
1.3 БАЗОВЫЕ ФУНКЦИИ……………………………………………………..7
Функция CAR……………………………………………………………..7
Функция CDR……………………………………………………………..8
Функция CONS……………………………………………………………8
Связь между функциями CAR, CDR и CONS…………………………9
Предикат АТОМ ………………………….………………………………9
Предикат EQ………………………….……………………………………10
Предикат EQL ………………………….…………………………………11
Предикат EQUAL ………………………….……………………………..11
Предикат EQUALP ………………………….……………………………12
Другие примитивы………………………….…………………………….12
Встроенная функция NULL ………………………….………………….12
Встроенная функция LIST ………………………….…………………...13
1.4 ИМЯ И ЗНАЧЕНИЕ СИМВОЛА…………………………………………..14
1.5 ОПРЕДЕЛЕНИЕ ФУНКЦИЙ………………………………………………18
1.6 ПЕРЕДАЧА ПАРАМЕТРОВ И ОБЛАСТЬ ИХ ДЕЙСТВИЯ…………..24
Передача параметров по значению……………………………………..24
Статические переменные ………………………………………………...24
Свободные переменные…………………………………………………..24
Динамическая и статическая область действия …………………… 25
1.7 ВЫЧИСЛЕНИЕ В ЛИСПЕ………………………………………………… 28
Управляющие структуры Лиспа ……………………………………….28
Циклические вычисления: предложение DO………………………….34
Предложения PROG, GO и RETURN…………………………………...35
Другие циклические структуры…………………………………………37
Формы динамического прекращения вычислений: CATCH и THROW..39
1.8 ВНУТРЕННЕЕ ПРЕДСТАВЛЕНИЕ СПИСКОВ………………………..40
1.9 СВОЙСТВА СИМВОЛА………………………….………………………...47
1.10 ВВОД И ВЫВОД………………………….…………………………………50
1.11 ОСНОВЫ РЕКУРСИИ………………………….………………………….56
1.12 ПРОСТАЯ РЕКУРСИЯ………………………….…………………………60
1.13 ДРУГИЕ ФОРМЫ РЕКУРСИИ………………………….……………….72
Параллельное ветвление рекурсии………………………….…………72
Программирование вложенных циклов………………………………75
Рекурсия более высокого порядка……………………………………..77
Часть 2 Логическое программирование
2.1Основные понятия…………………………………………………..………..80
Индивидуумы. Отношения. Факты…...……………………………….80
Переменные и сложные цели………………………………………...…81
2.2Правила в Пролог…..……………………………..……………………….…82
2.3Структура программ на Turbo
Prolog……………………………………..84
2.4Синтаксис переменных. ……………………………………………………..85
2.5Арифметика в TurboProlog. ………………………………………………...85
2.6Простейший ввод/вывод. ……………………………………………………87
2.7Функции в Прологе. ………………………………………………………….87
2.8Нисходящая и восходящая рекурсии. ……………………………………..89
Нисходящая рекурсия. …………………………………………………....89
Восходящая рекурсия. …………………………………………………….89
Рекурсия с недетерминированным выбором. ………………………….90
2.9Списки…………………………………………………………………………..91
Операция разделения………………………………………………….…..91
2.10Механизмы управления поиском в
Пролог………………………………93
Отсечение……………………………………………………………………93
Отрицание………………………………………………………………..….95
2.11Структуры данных. ……………………………………………………….…95
Альтернативные домены. ………………………………………………...96
2.12Бинарные деревья. …………………………………………………………..96
2.13Метод ”образовать и
построить”.…………………………………….…….99

Скачать: