Prolog Language
बाधा तर्क प्रोग्रामिंग

सीएलपी (FD)

सीएलपी (एफडी) बाधाएं ( परिमित डोमेन ) पूर्णांकों पर अंकगणित को लागू करती हैं । वे सभी गंभीर प्रोलॉग कार्यान्वयन में उपलब्ध हैं।

सीएलपी (एफडी) बाधाओं के दो प्रमुख उपयोग मामले हैं:

• घोषणात्मक पूर्णांक अंकगणित
• योजना, समय-निर्धारण और आवंटन कार्यों जैसे जुझारू समस्याओं का समाधान करना।

उदाहरण:

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

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

ध्यान दें कि यदि दूसरी क्वेरी में is/2 का उपयोग किया जाना था, तो एक तात्कालिक त्रुटि उत्पन्न होगी:

?- 3 is Y+2.
ERROR: is/2: Arguments are not sufficiently instantiated

सीएलपी (क्यू)

सीएलपी (क्यू) तर्कसंगत संख्या पर तर्क लागू करता है।

उदाहरण:

?- { 5/6 = X/2 + 1/3 }.
X = 1.

सीएलपी (एच)

प्रोलॉग को खुद सीएलपी (एच) के रूप में माना जा सकता है: बाधा तर्क हरब्रांड शब्दों पर प्रोग्रामिंग। इस परिप्रेक्ष्य में, शर्तों पर एक Prolog कार्यक्रम पदों की कमी के साथ। उदाहरण के लिए:

?- X = f(Y), Y = a.
X = f(a),
Y = a.