Comportamiento inesperado de congelado / 2
Estaba jugando con los predicados de prolog-coroutiningfreeze/2 y frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (versión 4.5.1 para x86_64) dio estas respuestas: El | ? - congelar (X, a = a), congelar (X, Meta). Objetivo =...