1
Hành vi bất ngờ của đông lạnh / 2
Tôi đã chơi xung quanh với các vị từ prolog-coroutiningfreeze/2 và frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (phiên bản 4.5.1 cho x86_64) đã đưa ra những câu trả lời sau: | ? - đóng băng (X, a = a), đóng băng (X, Mục tiêu). Mục tiêu …