логическое программирование
Часть речифразеологизмЗначений1
- информ. парадигма программирования, основанная на математической логике, в которой программы задаются в форме логических утверждений и правил вывода«Наиболее известным языком логического программирования остаётся Пролог, широко применяемый в системах искусственного интеллекта.»
Источник: статья «логическое программирование» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.