Чтение онлайн

reconsult

repeat

retract

see

seen

setof

spy

tab

tell

told

trace

ttyflush

var

write

Г

гамильтонов цикл

главная цель

главный функтор

голова

предложения

списка

головоломка

"восемь"

"ханойская башня"

граф

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

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

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

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

Д

двоичное дерево

двоично-троичное (2-3) дерево

двоично-троичный справочник

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

двоичный справочник

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

поиск

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

двунаправленный поиск

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

дерево

двоичное

отображение

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

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

AVL

2-3

дизъюнкт

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

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

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

программа

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

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

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

Е

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

З

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

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

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

И

И-вершина

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

игра

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

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

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

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

поиск

в глубину

в ширину

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

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

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

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

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

ИЛИ-вершина

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

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

К

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

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

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

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

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

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

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

переменной

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

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

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

коэффициент

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

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

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

Л

логика

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

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

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

М

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

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

отладка

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

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

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

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

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

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

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

Н

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

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

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

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

О

обобщение

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

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

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

"как"

"почему"

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

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

программа