Логическое программирование - это парадигма программирования ...
(Отметьте один правильный вариант ответа.)
Варианты ответа
основанная на автоматическом доказательстве теорем(Верный ответ)
в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
которая, описывает процесс вычисления в виде инструкций, изменяющих состояние программы