Pertanyaan yang diberi tag «sicstus-prolog»

1
Perilaku beku yang tak terduga / 2
Saya bermain-main dengan predikat prolog-coroutiningfreeze/2 dan 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 4.5.1 untuk x86_64) memberikan jawaban ini: | ? - bekukan (X, a = a), beku (X, Sasaran). Sasaran = prolog: membekukan (X, pengguna: (a = a)) , prolog: membekukan (X, pengguna: (a = …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.