Operador extraño (!) En Prolog

Question

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

en la declaración anterior, ¿qué significa '!'firmar al final de la declaración ¿verdad?

Answer 1

Ese es el operador de corte , que básicamente dice "si llegamos hasta aquí, no retrocedas".

Entonces, si ambas llamadas recursivas tienen éxito, el predicado hi no las reintentará.