Що є справедливим для предикату НЕУСПІХ у логічному програмуванні?

Question

Answer

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

Answer

позначається символом !

Answer

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

Answer

позначається символом ?

Answer

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

Answer

використовується для означення заперечення

Answer

використовується для продовження бектрекінгу після того, як було знайдено перше співставлення

Crowdly