Prolog
Шрифт:
игра
двух лиц с полной информацией
формулировка в виде И / ИЛИ графа
И / ИЛИ граф ещё 1 ссылка
допустимость поиска
поиск
в глубину
в ширину
маршрута ещё 1 ссылка
с предпочтением ещё 1 ссылка
представление игровых задач
процедуры поиска
решающее дерево
ИЛИ-вершина
инженерия знаний
интерпретатор программ, управляемых образцами
К
категорические знания
комбинаторная сложность
комбинаторный взрыв
комментарии в Прологе
конкатенация списков
конкретизация
наиболее общая
переменной
конфликтное множество
конъюнктивная нормальная форма
конъюнкция целей
коэффициент
достаточности ещё 1 ссылка
необходимости ещё 1 ссылка
определенности
Л
логика
взаимосвязь с Прологом
предикатов 1-го порядка
пропозициональная
М
машина логического вывода
методология программирования
отладка
эффективность
минимаксный принцип
минимаксные программы
минимаксная процедура
модель Prospector'a ещё 1 ссылка
модуль, управляемый образцом
мягкие знания
Н
наиболее общая конкретизация
направленный граф
недетерминированный автомат
неопределенность (в экспертных системах)
О
обобщение
оболочка (экспертной системы)
объекты данных Пролога
объяснение типа
"как"
"почему"
ограничения на ходы
окончание "король и ладья против короля"
программа
операторная нотация
оператор отсечения ещё 1 ссылка
операторы
в Прологе
предопределенные
приоритет операторов
сравнения
тип оператора
основной вариант
остовное дерево
программа построения ещё 1 ссылка
откомпилированная программа
отладка
отрицание как неуспех
отсечения ещё 1 ссылка
зеленые
красные
оценочная функция (в играх)
П
перебор
ограничение
управление
переменная
анонимная
конкретизация
синтаксис
перестановки списка
планирование (прохождения задач)
поиск
в глубину
с ограничением
в ширину
с предпочтением ещё 1 ссылка
в И / ИЛИ графах
в пространстве состояний
последовательное углубление
построение маршрута ещё 1 ссылка
И / ИЛИ-представление
построение пути
поток
входной
выходной
пошаговая детализация
правила
в Прологе ещё 1 ссылка
типа "если-то"
предложение
вариант
голова ещё 1 ссылка
конкретизация
тело ещё 1 ссылка
принцип резолюции ещё 1 ссылка
приоритет операторов
программа-интерпретатор
программа, управляемая образцами
программирование в терминах образцов ещё 1 ссылка
продукции
прозрачность системы
пространство состояний
допустимость поиска
представление ещё 1 ссылка
процедура
в Прологе
табличная организация
процедурный смысл ещё 1 ссылка
Р
работа с базой данных
равенства
типы
разрешение конфликта ещё 1 ссылка
раскраска карты (программа)
распространение оценок по сети вывода
рекурсия
решающее дерево ещё 1 ссылка
С
сбалансированное дерево
сведение задач к подзадачам
селектор
сеть вывода
система