![]()
|
|||||||
Управляющие структуры. Рекурсия. Различные формы рекурсии. Функции более высокого порядка. Внутреннее представление списков. Макросы. Массивы. Входные и выходные потоки.. Пролог ⇐ ПредыдущаяСтр 2 из 2 3. Управляющие структуры Предложения LET и LET*. Управляющие структуры COND Другие условные предложения Связь между COND и логическими функциями Последовательные вычисления Функции PROGN, PROGN1, PROGN2 Определение функций с использованием неявного PROGN Циклические вычисления LOOP, DO, DOTIMES Применение LOOP для численных итераций Применение LOOP для итераций co списками Обработка списков c DO
Рекурсия. Различные формы рекурсии Рекурсия. Как работает рекурсивная функция Общая форма рекурсивной функции Правила записи рекурсивной функции Несколько терминальных ветвей Несколько рекурсивных ветвей Параллельная рекурсия Взаимная рекурсия Рекурсия более высокого порядка
Функции более высокого порядка Применяющие функционалы APPLY и FUNCALL. Отображающие или MAP-функционалы Внутреннее представление списков Структура памяти Представление списков через списочную ячейку Представление списков через точечные пары Списочная ячейка и базовые функции Переменные и списки Cборка мусора Обработка списков без разрушения. Append Разрушающие функции NCONC RPLACA, RPLACD Использование разрушающих функций Макросы Разработка макросов Массивы Определение массива Доступ к ячейке массива Запись данных в массив Обработка массивов Длина массива Обратная блокировка Входные и выходные потоки. Определение выходных и входных потоков. Чтение символов из файла Пролог Классическая логика и язык Пролог Подходы к программированию на языке Пролог. Декларативная семантика Пролог-программ Процедурная семантика Соотношение между процедурным и декларативным смыслом Формальное описание процедуры вычисления целей Синтаксис языка Пролог Фразы Хорна как средство представления знаний Понятия: термы, факты, правила Правила выполнения запросов в Прологе Унификация Рекурсивные процедуры Операторы Средства управления ходом выполнения программы. Списки. Представление списка диаграммой Выделение головы и хвоста списка Представление списков Процедуры обработки списков
|
|||||||
|