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

программа

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

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

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

Е

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

З

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

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

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

И

И-вершина

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

игра

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

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

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

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

поиск

в глубину

в ширину

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

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

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

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

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

ИЛИ-вершина

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

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

К

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

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

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

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

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

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

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

переменной

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

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

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

коэффициент

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

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

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

Л

логика

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

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

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

М

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

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

отладка

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

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

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

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

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

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

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

Н

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

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

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

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

О

обобщение

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

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

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

"как"

"почему"

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

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

программа

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

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

операторы

в Прологе

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

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

сравнения

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

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

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

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

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

отладка

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

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

зеленые

красные

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

П

перебор

ограничение

управление

переменная

анонимная

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

синтаксис

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