奇怪的运营商（！）在Prolog中

Question

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

.

在上面的陈述中，'！'在声明结束时签署？

Answer 1

这是剪切运算符，它基本上声明“如果我们到这里，请不要回溯。”

因此，如果两个递归调用均成功，hi谓词将不会重试它们。