1
Comportement inattendu de figé / 2
Je jouais avec les prédicats prolog-coroutiningfreeze/2 et frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (version 4.5.1 pour x86_64) a donné ces réponses: | ? - gel (X, a = a), gelé (X, objectif). Objectif = prologue: geler (X, utilisateur: (a = a)) , prolog: gel (X, utilisateur: …