Неизвестно - Prolog

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

дерево

двоичное

отображение

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

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

AVL

2-3

дизъюнкт

дизъюнкция целей

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

методом резолюций

программа

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

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

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

Е

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

З

задача о восьми ферзях

замкнутость мира

запоминание ответов

И

И-вершина

игровое дерево

игра

двух лиц с полной информацией

формулировка в виде И / ИЛИ графа

И / ИЛИ граф ещё 1 ссылка

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

поиск

в глубину

в ширину

маршрута ещё 1 ссылка

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

представление игровых задач

процедуры поиска

решающее дерево

ИЛИ-вершина

инженерия знаний

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

К

категорические знания

комбинаторная сложность

комбинаторный взрыв

комментарии в Прологе

конкатенация списков

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

наиболее общая

переменной

конфликтное множество

конъюнктивная нормальная форма

конъюнкция целей

коэффициент

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

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

определенности

Л

логика

взаимосвязь с Прологом

предикатов 1-го порядка

пропозициональная

М

машина логического вывода

методология программирования

отладка

эффективность

минимаксный принцип

минимаксные программы

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

модель Prospector'a ещё 1 ссылка

модуль, управляемый образцом

мягкие знания

Н

наиболее общая конкретизация

направленный граф

недетерминированный автомат

неопределенность (в экспертных системах)

О

обобщение

оболочка (экспертной системы)

объекты данных Пролога

объяснение типа

"как"

"почему"

ограничения на ходы

окончание "король и ладья против короля"

программа

операторная нотация

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

операторы

в Прологе

предопределенные

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

сравнения

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

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

остовное дерево

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

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

отладка

отрицание как неуспех

отсечения ещё 1 ссылка

зеленые

красные

оценочная функция (в играх)

П

перебор

ограничение

управление

переменная

анонимная

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

синтаксис

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

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

поиск

в глубину

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

в ширину

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

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

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

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

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

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

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

поток

входной

выходной

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

правила

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

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

предложение

вариант

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

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

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

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

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

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

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

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

продукции

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

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

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

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

процедура

в Прологе

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

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

Р

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

равенства

типы

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

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

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

рекурсия

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

С

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

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

селектор

сеть вывода

система

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

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

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

смысл

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

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

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

с образцами

сортировка

быстрая

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

со вставками

списков

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

список

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

голова

длина

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

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

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

подсписок

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

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

разбиение

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

сортировка

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

хвост

справочник

двоичный

AVL

2-3

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

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

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

комментарии