Nieoczekiwane zachowanie zamrożonego / 2
Grałem około z PROLOG-coroutining orzeczników freeze/2oraz frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (wersja 4.5.1 dla x86_64) dał następujące odpowiedzi: | ? - zamrożenie (X, a = a), zamrożenie (X, bramka). Cel = prolog:...