Логическое программирование основано на теории и аппарате математической логики с использованием математических принципов резолюций. High Quality Content by WIKIPEDIA articles! Логи?ческое программи?рование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. 2012