«prolog-coroutining» etiketlenmiş sorular

1
Dondurulmuş / 2'nin beklenmedik davranışı
Ben oynamalar prolog-coroutining yüklemleri freeze/2ve frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (x86_64 için sürüm 4.5.1) şu cevapları verdi: | ? - donma (X, a = a), donma (X, Hedef). Hedef = prolog: dondurma (X, kullanıcı: (a = a)) , prolog: dondurma (X, kullanıcı: (a = a))? …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.