1
고정 된 / 2의 예기치 않은 동작
나는 프롤로그 코 루틴 술어를 가지고 놀고 freeze/2있었고 frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (x86_64 버전 4.5.1)는 다음과 같은 답변을 제공합니다. | -동결 (X, a = a), 동결 (X, 목표). 목표 = prolog : freeze (X, user : (a = a)) , 프롤로그 : 동결 (X, …