Seltsamer Operator (!) im Prolog

Question

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

in der obigen Aussage, was bedeutet das '!' unterschreiben Sie am Ende der Erklärung ?

Answer 1

Das ist die schnitt-Operator, was im Grunde besagt: "Wenn wir bis hierher gekommen sind, gehen Sie nicht zurück."

Wenn also beide rekursiven Aufrufe erfolgreich sind, wird der hi prädikat wird sie nicht wiederholen.