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