объяснение типа
'как'
'почему'
ограничения на ходы
окончание 'король и ладья против короля'
программа
операторная нотация
оператор отсечения ещё 1 ссылка
операторы
в Прологе
предопределенные
приоритет операторов
сравнения
тип оператора
основной вариант
остовное дерево
программа построения ещё 1 ссылка
откомпилированная программа
отладка
отрицание как неуспех
отсечения ещё 1 ссылка
зеленые
красные
оценочная функция (в играх)
П
перебор
ограничение
управление
переменная
анонимная
конкретизация
синтаксис
перестановки списка
планирование (прохождения задач)
поиск
в глубину
с ограничением
в ширину
с предпочтением ещё 1 ссылка
в И / ИЛИ графах
в пространстве состояний
последовательное углубление
построение маршрута ещё 1 ссылка
И / ИЛИ-представление
построение пути
поток
входной
выходной
пошаговая детализация
правила
в Прологе ещё 1 ссылка
типа 'если-то'
предложение
вариант
голова
