Що є справедливим для відсікання у логічному програмуванні?

Question

Answer

позначається атомом :-

Answer

зелені відсікання не змінюють декларативний зміст Пролог-програми

Answer

червоні відсікання можна використовувати лише у запереченні

Answer

дозволяє зменшувати використання пам'яті

Answer

є синтаксичним аналогом оператора GOTO у мовах імперативного програмування

Answer

позначається атомом \

Answer

є білі та чорні відсікання

Answer

використовується для керування бектрекінгом

Crowdly