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 (версия 4.5.1 для x86_64) дал следующие ответы: | ? - заморозить (X, a = a), заморозить (X, цель). Цель = пролог: заморозить (X, пользователь: (a = a)) , пролог: заморозить (X, пользователь: (a = …