Prolog Language
तार्किक शुद्धता

dif / 2

विधेय dif/2 एक शुद्ध विधेय है: इसका उपयोग सभी दिशाओं में और सभी तात्कालिक पैटर्न के साथ किया जा सकता है, हमेशा इसका अर्थ है कि इसके दो तर्क अलग हैं ।

सीएलपी (एफडी) बाधाओं

सीएलपी (एफडी) बाधाएं पूरी तरह से शुद्ध संबंध हैं। वे सभी दिशाओं में घोषणात्मक पूर्णांक अंकगणितीय के लिए उपयोग किए जा सकते हैं:

?- X #= 1+2.
X = 3.

?- 3 #= Y+2.
Y = 1.

एकीकरण

एकीकरण एक शुद्ध संबंध है। यह साइड इफेक्ट्स का उत्पादन नहीं करता है और सभी दिशाओं में या तो या दोनों तर्क पूरी तरह से या केवल आंशिक रूप से त्वरित रूप से उपयोग किया जा सकता है।

प्रोलॉग में, एकीकरण हो सकता है

• स्पष्ट रूप से , अंतर्निहित विधेयकों का उपयोग करना (=)/2 या unify_with_occurs_check/2
• संक्षेप में , जब एक उपयुक्त क्लॉज के चयन के लिए एकीकरण का उपयोग किया जाता है।