логическое программирование состоит в описании задачи совокупностью утверждений на языке логического программирования, т.е. записи знаний в декларативной форме. Решение получается с помощью автоматического вывода в некоторой формальной (дедуктивной) системе. Обычно логическое программирование связывают с языком Prolog см. тж. programming
LOGICAL PROGRAMMING
Англо-русский перевод LOGICAL PROGRAMMING
Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming. Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. 1998-2004