Prolog

          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 ссылка

    эвристическое отсечение

    экспертная система

    элементарный совет

          выполнимость

    эффект горизонта

Назад | Содержание | Вперёд

Назад | Содержание