планирование (прохождения задач)

поиск

в глубину

с ограничением

в ширину

с предпочтением ещё 1 ссылка

в И / ИЛИ графах

в пространстве состояний

последовательное углубление

построение маршрута ещё 1 ссылка

И / ИЛИ-представление

построение пути

поток

входной

выходной

пошаговая детализация

правила

в Прологе ещё 1 ссылка

типа "если-то"

предложение

вариант

голова ещё 1 ссылка

конкретизация

тело ещё 1 ссылка

принцип резолюции ещё 1 ссылка

приоритет операторов

программа-интерпретатор

программа, управляемая образцами

программирование в терминах образцов ещё 1 ссылка

продукции

прозрачность системы

пространство состояний

допустимость поиска

представление ещё 1 ссылка

процедура

в Прологе

табличная организация

процедурный смысл ещё 1 ссылка

Р

работа с базой данных

равенства

типы

разрешение конфликта ещё 1 ссылка

раскраска карты (программа)

распространение оценок по сети вывода

рекурсия

решающее дерево ещё 1 ссылка

С

сбалансированное дерево

сведение задач к подзадачам

селектор

сеть вывода

система

автоматического доказательства теорем

основанная на знаниях

управляемая образцами

смысл

декларативный ещё 1 ссылка

процедурный ещё 1 ссылка

сопоставление ещё 1 ссылка ещё 1 ссылка

с образцами

сортировка

быстрая

методом "пузырька"

со вставками

списков

списковая структура

список

внесение элемента

голова

длина

добавление элемента ещё 1 ссылка

конкатенация

перестановки

подсписок

представление

принадлежность ещё 1 ссылка

разбиение

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

сортировка

удаление элемента

хвост

справочник

двоичный

AVL

2-3

статические оценки

степень доверия

стиль программирования

комментарии

стилистические правила

структурное программирование

структурные объекты

структуры в Прологе

субъективная уверенность

Т

таблица советов

тело предложения

терм

включение

копия ещё 1 ссылка

унификация

Ф