عملگر cut(!) جلوی عقب گرد روی یه مسند به خصوص رو میگیره،به پرولوگ اعلان میکند که اگر در قاعده جلو برود دیگر امکان بازگشت به عقب وجود ندارد،

مثلا: . p:-q,! r
p:-s
اگه qدرست باشه فقط از قاعده اول می توان به جواب رسید،و ! اجازه استفاده از قاعده دوم رو نمیده
اما اگه q غلط باشه میرم سراغ قاعده دوم

---

[tex](q,r)or(\sim ~q,s)[/tex]

---

امیدوارم متوجه شده باشید از توضیحاتم

fail برعکس ! پرولوگ رو وادار به عقب گرد میکنه،
not(p):-p,!,fail.
not(-)l

cut , fail وقتی با هم استفاده میشه که بخواییم روند اثبات با شکست مواجه بشه،cut جلوشو میگیره fail میخواد عقب گرد کنه
اگه p درست باشه تا به cut , fail برسه روند اثبات با شکست مواجه میشه در نتیجه not(p ) شکست میخوره
اما اگه p غلط باشه میره قاعده ۲ که چون شرطی نداره موفق میشه