Чем отличается в лучшую сторону реализация принципа, положенного в основу языка Prolog, от принципа в исходном виде?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
в методе резолюций, на котором основан Prolog, поиск вывода растет в ширину, а в языке подстановки идут нелинейно
в основу языка Prolog положена статическая классическая логика, а в самом языке появилась база динамически обновляемых знаний(Верный ответ)
в фрагменте логики, на которую опирается язык Prolog, нет отрицаний. В языке они корректно введены(Верный ответ)
в логике задаются лишь сведения, а в языке можно задавать и прямые предписания