Strano operatore (!) In Prolog

Question

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

.

Nella dichiarazione di cui sopra, cosa significa "!"firmare alla fine della dichiarazione?

Answer 1

Questo è l ' operatore di taglio , che in pratica afferma "se siamo arrivati fino a qui, non tornare indietro".

Quindi, se entrambe le chiamate ricorsive hanno esito positivo, il predicato hi non le riproverà.