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