Программирование логическое (Logical programming) — метод построения программ как совокупности логических правил с предварительно определенными алгоритмами для обработки входных данных программы в соответствии с ее правилами.
[ГОСТ 19781-90. Обеспечение систем обработки информации программное. Термины и определения]
[Еропкин И.В. Термины и определения. Программирование в компьютерных системах. http://enciklopediyastroy.ru ext.spb.ru›/Электронный журнал Экстернат. РФ›/свободный]
Программирование логическое (logic programming) — метод структурирования программ, использующий их представление в виде выборов логических правил с заранее определенными алгоритмами обработки входных данных программ в соответствии с правилами для этой программы.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Программирование логическое — программирование, при котором программа представляется в виде процедуры логического вывода в исчислении предикатов первого порядка. Механизм вывода обычно встроен в язык П.Л. Примером может служить распространенный в интеллектуальных системах язык ПРОЛОГ, в который встроен обратный вывод.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Программирование логическое (abductive ALP) — среда представления знаний высокого уровня, которая может использоваться для декларативного решения проблем на основе абдуктивного мышления. Он расширяет обычное логическое программирование, позволяя не полностью определять некоторые предикаты, объявляя их как абдуктивные предикаты.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]
Программирование логическое — тип парадигмы программирования, которая в степени основания на формальной логике. Любая программа, написанная на логическом языке программирования, представляет собой набор предложений в логической форме, выражающих факты и правила о некоторой проблемной области.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]
Программирование логическое (Logic programming) – это парадигма программирования, которая основывается на формальной логике. Любая программа, написанная на логическом языке программирования, представляет собой набор предложений в логической форме, выражающий факты и правила о некоторой проблемной области. Также, – это тип парадигмы программирования, в которой вычисления выполняются на основе хранилища знаний фактов и правил; LISP и Prolog – два языка логического программирования, используемые для программирования AI.
[Чесалов А. Ю. Глоссариум по искусственному интеллекту: 2500 терминов/ А. Ю. Чесалов — «Издательские решения» 2022 г., 670 стр.]