1
Comportamento imprevisto di frozen / 2
Stavo giocando con i predicati del prologo-coroutiningfreeze/2 e frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (versione 4.5.1 per x86_64) ha dato queste risposte: | ? - Congela (X, a = a), congelata (X, Obiettivo). Obiettivo = prologo: blocco (X, utente: (a = a)) , prologo: congelare (X, …