عامل غريب (!) في Prolog

Question

hi(g,plus(A,B),int) :- hi(g,A,int),hi(g,B,int),!.  

في البيان أعلاه ماذا يفعل "!" علامة في نهاية البيان تفعل؟

Answer 1

هذا هو عامل القطع, ، والتي تنص بشكل أساسي على "إذا وصلنا إلى هنا، فلا تتراجع".

لذلك، إذا نجحت كلا النداءات العودية، فإن hi لن يقوم المسند بإعادة محاولتهم.