Главная

Контакты

Случайная статья

• Автоматизация
• Антропология
• Археология
• Архитектура
• Биология
• Ботаника
• Бухгалтерия
• Военная наука
• Генетика
• География
• Геология
• Демография
• Деревообработка
• Журналистика
• Зоология
• Изобретательство
• Информатика
• Искусство
• История
• Кинематография
• Компьютеризация
• Косметика
• Кулинария
• Культура
• Лексикология
• Лингвистика
• Литература
• Логика
• Маркетинг
• Математика
• Материаловедение
• Медицина
• Менеджмент
• Металлургия
• Метрология
• Механика
• Музыка
• Науковедение
• Образование
• Охрана Труда
• Педагогика
• Полиграфия
• Политология
• Право
• Предпринимательство
• Приборостроение
• Программирование
• Производство
• Промышленность
• Психология
• Радиосвязь
• Религия
• Риторика
• Социология
• Спорт
• Стандартизация
• Статистика
• Строительство
• Технологии
• Торговля
• Транспорт
• Фармакология
• Физика
• Физиология
• Философия
• Финансы
• Химия
• Хозяйство
• Черчение
• Экология
• Экономика
• Электроника
• Электротехника
• Энергетика

Управляющие структуры. Рекурсия. Различные формы рекурсии. Функции более высокого порядка. Внутреннее представление списков. Макросы. Массивы. Входные и выходные потоки.. Пролог

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

Использование разрушающих функций

Макросы

Разработка макросов

Массивы

Определение массива

Доступ к ячейке массива

Запись данных в массив

Обработка массивов

Длина массива

Обратная блокировка

Входные и выходные потоки.

Определение выходных и входных потоков.

Чтение символов из файла

Пролог

Классическая логика и язык Пролог

Подходы к программированию на языке Пролог.

Декларативная семантика Пролог-программ

Процедурная семантика

Соотношение между процедурным и декларативным смыслом

Формальное описание процедуры вычисления целей

Синтаксис языка Пролог

Фразы Хорна как средство представления знаний

Понятия: термы, факты, правила

Правила выполнения запросов в Прологе

Унификация

Рекурсивные процедуры

Операторы

Средства управления ходом выполнения программы.

Списки. Представление списка диаграммой

Выделение головы и хвоста списка

Представление списков

Процедуры обработки списков