Логический язык программирования
Логический язык программирования
Логический язык программирования - язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода.
Источник: Финансовый словарь проекта «Финам», проект www.finam.ru/dictionary