Prolog
Шрифт:
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 ссылка
модуль, управляемый образцом
мягкие знания
Н
наиболее общая конкретизация
направленный граф
недетерминированный автомат
неопределенность (в экспертных системах)
О
обобщение
оболочка (экспертной системы)
объекты данных Пролога
объяснение типа
"как"
"почему"
ограничения на ходы
окончание "король и ладья против короля"
программа