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