ещё 1 ссылка
конкретизация
тело ещё 1 ссылка
принцип резолюции ещё 1 ссылка
приоритет операторов
программа-интерпретатор
программа, управляемая образцами
программирование в терминах образцов ещё 1 ссылка
продукции
прозрачность системы
пространство состояний
допустимость поиска
представление ещё 1 ссылка
процедура
в Прологе
табличная организация
процедурный смысл ещё 1 ссылка
Р
работа с базой данных
равенства
типы
разрешение конфликта ещё 1 ссылка
раскраска карты (программа)
распространение оценок по сети вывода
рекурсия
решающее дерево ещё 1 ссылка
С
сбалансированное дерево
сведение задач к подзадачам
селектор
сеть вывода
система
автоматического доказательства теорем
основанная на знаниях
управляемая образцами
смысл
декларативный ещё 1 ссылка
процедурный ещё 1 ссылка
сопоставление ещё 1 ссылка ещё 1 ссылка
с образцами
сортировка
быстрая
методом 'пузырька'
со вставками
списков
списковая
