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