ЛОГИ́ЧЕСКИЙ, -ая, -ое. 1. Прил. к логика (в 1 знач.). Логические категории. Логические законы.
Все значения слова «логический»ПРОГРАММИ́РОВАНИЕ, -я, ср. Спец. 1. Действие по знач. глаг. программировать. Программирование производства. Операция программирования.
Все значения слова «программирование»Логическое программирование (Logic programming) – это тип парадигмы программирования, в которой вычисления выполняются на основе хранилища знаний фактов и правил; LISP и Prolog – два языка логического программирования, используемые для программирования AI.
Логическое программирование (Logic programming)– это парадигма программирования, которая основывается на формальной логике.
Prolog [70—72] – язык логического программирования, который очень популярен в программировании искусственного интеллекта и часто используется для разработки экспертных систем.