Opérateur étrange (!) Dans Prolog

Question

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

dans la déclaration ci-dessus qu'est-ce que le '!' signer à la fin de la déclaration faire?

Answer 1

C'est le cut operator, qui stipule fondamentalement "si nous nous sommes levés ici, ne pas revenir en arrière." Par conséquent, si les deux appels récursifs réussissent, le prédicat hi ne les réessayera pas.