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