프롤로그에서 이상한 연산자 (!)

Question

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

위 문장에 '!' 성명서의 끝에 서명합니까?

Answer 1

기본적으로 "우리가 여기까지왔다 갔다하면 되돌릴 수 없습니다."라고 명시된 cut operator입니다.

따라서 재귀 호출이 모두 성공하면 hi 조건자를 다시 시도하지 않습니다.