1
जमे हुए / 2 का अप्रत्याशित व्यवहार
मैं प्रोलॉग-कोरआउटिंग प्रेडिकेट्स के साथ चारों ओर खेल रहा था freeze/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 (x86_64 के लिए संस्करण 4.5.1) ने ये उत्तर दिए: | ? - फ्रीज (एक्स, ए = ए), जमे हुए (एक्स, गोल)। लक्ष्य = प्रोलॉग: फ्रीज (एक्स, उपयोगकर्ता: (ए = …