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, que fait le '!' Signer à la fin de la déclaration?

Answer 1

C'est le faire couper l'opérateur, qui déclare essentiellement "Si nous nous sommes levés ici, ne reculez pas".

Donc, si les deux appels récursifs réussissent, le hi Le prédicat ne les réessayera pas.