Иван Братко - Программирование на языке Пролог для искусственного интеллекта

class="book">           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 ссылка

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

--">