Questions marquées «prolog»

11
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,...