«sicstus-prolog» 태그된 질문

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, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.