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