prolog - Prologの奇妙な演算子（！）

Question

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

上記のステートメントでは、「！」は何をしますか ステートメントの最後に署名しますか？

Answer 1

これがカット演算子で、基本的に「ここまで来たら、後戻りしないでください」と述べています。

したがって、両方の再帰呼び出しが成功した場合、hi述部はそれらを再試行しません。