1
พฤติกรรมที่ไม่คาดคิดของการแช่แข็ง / 2
ฉันกำลังเล่นกับpredicates prolog-coroutiningfreeze/2และfrozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (เวอร์ชัน 4.5.1 สำหรับ x86_64) ให้คำตอบเหล่านี้: | ? - freeze (X, a = a), ตรึง (X, เป้าหมาย) เป้าหมาย = prolog: ตรึง (X, ผู้ใช้: (a = a)) , อารัมภบท: ตรึง (X, ผู้ใช้: (a = a))? ; ไม่ | ? - freeze …