Operador estranho (!) No Prolog

Question

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

na declaração acima, o que significa '!'assinar no final da declaração fazer?

Answer 1

Esse é o Operador de corte , que basicamente afirma "se nos levantamos aqui, não recue."

Então, se ambas as chamadas recursivas forem bem-sucedidas, o predicado de hi não tentará novamente.