Странный оператор (!) В Prolog

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

в приведенном выше утверждении что означает "!" знак в конце оператора do?