Назад | Содержание | Вперёд
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
А
абстракция данных
автомат недетерминированный
автоматический возврат ещё 1 ссылка
альфа-бета алгоритм
программная реализация
эффективность
анонимная переменная
арифметика в Прологе
арифметические
операторы
ребусы
арность
атом
атомы
декомпозиция ещё 1 ссылка
синтаксис
создание
ALO
реализация
AVL-справочник
вставление элемента
AVL-дерево
Б
база
данных в Прологе
знаний
быстрая сортировка
В
вариант предложения
вероятностные знания
возврат автоматический ещё 1 ссылка
возвращенные оценки
вопрос типа
"как" ещё 1 ссылка
"почему" ещё 1 ссылка
встроенные операторы
+, -, *, /, div, is, mod ещё 1 ссылка
встроенные процедуры
>, <, >=, =<, =:=, =\=
! ещё 1 ссылка
=..
==
\==
arg
assert
asserta
assertz
atom
atomic
bagof
call
consult
fail
findall
functor
get ещё 1 ссылка
get0 ещё 1 ссылка
integer
is
name ещё 1 ссылка
nl
nonvar
nospy
not
notrace
put
read
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 ссылка
модуль, управляемый образцом
мягкие знания
Н
наиболее общая конкретизация
направленный граф
недетерминированный автомат
неопределенность (в экспертных системах)
О
обобщение
оболочка (экспертной системы)
объекты данных Пролога
объяснение типа
"как"
"почему"
ограничения на ходы
окончание "король и ладья против короля"
программа
операторная нотация
оператор отсечения ещё 1 ссылка
операторы
в Прологе
предопределенные
приоритет операторов
сравнения
тип оператора
основной вариант
остовное дерево
программа построения ещё 1 ссылка
откомпилированная программа
отладка
отрицание как неуспех
отсечения ещё 1 ссылка
зеленые
красные
оценочная функция (в играх)
П
перебор
ограничение
управление
переменная
анонимная
конкретизация
синтаксис
перестановки списка
планирование (прохождения задач)
поиск
в глубину
с ограничением
в ширину
с предпочтением ещё 1 ссылка
в И / ИЛИ графах
в пространстве состояний
последовательное углубление
построение маршрута ещё 1 ссылка
И / ИЛИ-представление
построение пути
поток
входной
выходной
пошаговая детализация
правила
в Прологе ещё 1 ссылка
типа "если-то"
предложение
вариант
голова ещё 1 ссылка
конкретизация
тело ещё 1 ссылка
принцип резолюции ещё 1 ссылка
приоритет операторов
программа-интерпретатор
программа, управляемая образцами
программирование в терминах образцов ещё 1 ссылка
продукции
прозрачность системы
пространство состояний
допустимость поиска
представление ещё 1 ссылка
процедура
в Прологе
табличная организация
процедурный смысл ещё 1 ссылка
Р
работа с базой данных
равенства
типы
разрешение конфликта ещё 1 ссылка
раскраска карты (программа)
распространение оценок по сети вывода
рекурсия
решающее дерево ещё 1 ссылка
С
сбалансированное дерево
сведение задач к подзадачам
селектор
сеть вывода
система
автоматического доказательства теорем
основанная на знаниях
управляемая образцами
смысл
декларативный ещё 1 ссылка
процедурный ещё 1 ссылка
сопоставление ещё 1 ссылка ещё 1 ссылка
с образцами
сортировка
быстрая
методом "пузырька"
со вставками
списков
списковая структура
список
внесение элемента
голова
длина
добавление элемента ещё 1 ссылка
конкатенация
перестановки
подсписок
представление
принадлежность ещё 1 ссылка
разбиение
разностное представление
сортировка
удаление элемента
хвост
справочник
двоичный
AVL
2-3
статические оценки
степень доверия
стиль программирования
комментарии
стилистические правила
структурное программирование
структурные объекты
структуры в Прологе
субъективная уверенность
Т
таблица советов
тело предложения
терм
включение
копия ещё 1 ссылка
унификация
Ф
файл user
файлы
в Прологе
термов
факты в Прологе
формула Хорна
форсированное дерево
функтор
арность
главный
Х
хвост списка
Ц
цель
достижима
имеет неуспех
логически следует
недостижима
терпит неудачу
успешна
цели
вычисление списка
дизъюнкция
конъюнкция
Ч
числа в Прологе
чистый Пролог
Ш
шаг резолюции ещё 1 ссылка
Э
эвристические оценки
эвристический поиск ещё 1 ссылка
эвристическое отсечение
экспертная система
элементарный совет
выполнимость
эффект горизонта
Назад | Содержание | Вперёд