Strange operator (!) in Prolog

Question

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

in the above statement what does the '!' sign at the end of the statement do ?

Reify

Answer 1

That's the cut operator, which basically states "if we got up to here, don't backtrack."

So, if both recursive calls succeed, the hi predicate will not retry them.

Consumer