Смотреть больше слов в «Англо-русском словаре по компьютерам»
логическое программирование состоит в описании задачи совокупностью утверждений на языке логического программирования, т.е. записи знаний в декларативной форме. Решение получается с помощью автоматического вывода в некоторой формальной (дедуктивной) системе. Обычно логическое программирование связывают с языком Prolog см. тж. programming... смотреть
Логічне програмування
матем. логическое программирование
логічне програмування