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

बाधा तर्क प्रोग्रामिंग बाधा प्रोग्रामिंग का एक रूप है जिसमें बाधा संतुष्टि की अवधारणाओं को सम्मिलित करने के लिए तर्क प्रोग्रामिंग भाषा को विस्तृत जाता है। बाधा तर्क प्रोग्राम एक तर्क प्रोग्राम है जिसके डेटा संरचना मे बाधाएं होती हैं। बाधा सहित तर्क का एक उदाहरण A(X,Y) :- X+Y>0, B(X), C(Y) है। इस भाग में X+Y>0 एक बाधा है, जो,   और   के नियमित तर्क प्रोग्रामिंग के रूप में शाब्दिक (गणितीय तर्क) हैं। यह तर्क एक नियम का अनुसरण करता है जिसके अंतर्गत कथन     शून्य से अधिक होता है। जिससे   और   दोनों सत्य होते हैं।

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

समीक्षा
औपचारिक रूप से बाधा तर्क प्रोग्राम नियमित तर्क प्रोग्रामों की तरह होते हैं, लेकिन भौतिकी भाग में नियमित तर्क प्रोग्रामिंग शाब्दिक तर्क के अतिरिक्त बाधाएं हो सकती हैं। उदाहरण के रूप में  एक बाधा है और निम्नलिखित बाधा तर्क प्रोग्राम के अंतिम भाग में सम्मिलित है। नियमित तर्क प्रोग्रामिंग की तरह  जैसे लक्ष्य का मूल्यांकन करने के लिए   के साथ अंतिम भाग के एल्गोरिदम का मूल्यांकन करने की आवश्यकता होती है। नियमित तार्किक प्रोग्रामिंग की तरह, इसके परिवर्तित लक्ष्य   को सिद्ध करने की आवश्यकता होती है। नियमित तार्किक प्रोग्रामिंग के विपरीत, इसके लिए   को संतुष्ट करने के लिए एक बाधा की भी आवश्यकता होती है। अंतिम भाग के एल्गोरिदम में बाधा नियमित तार्किक प्रोग्रामिंग में   को तब तक सिद्ध नहीं किया जा सकता है जब तक कि   पूरी तरह से मूल रूप मे और निष्पादन के लिए बाध्य न हो। यदि ऐसा नहीं होता है तो प्रोग्राम विफल हो सकता है।

जब बाधा का सामना करना पड़ता है तो एक बाधा संतुष्ट होती है या नहीं संतुष्ट होती है यह सदैव निर्धारित नहीं किया जा सकता है। इस स्थिति में उदाहरण के लिए  का मान निर्धारित नहीं होता है जब अंतिम भाग का मूल्यांकन किया जाता है। जिसके परिणाम स्वरूप, इस बिंदु पर बाधा   संतुष्ट नहीं है और न ही इसका उल्लंघन किया गया है।   के मूल्यांकन में आगे बढ़ने और फिर जाँचने के अतिरिक्त कि क्या   का परिणामी मान बाद में धनात्मक है अनुवादक बाधा   को संग्रहीत करता है और फिर  के मूल्यांकन में आगे बढ़ता है इस प्रकार अनुवादक   के मूल्यांकन के समय बाधा   के उल्लंघन का पता लगा सकता है और  के मूल्यांकन के निष्कर्ष की प्रतीक्षा करने के अतिरिक्त, यदि यह स्थिति है तो शीघ्र पीछे हट जाता है।

सामान्यतः बाधा तर्क प्रोग्राम का मूल्यांकन एक नियमित तर्क प्रोग्राम के रूप में होता है। हालाँकि, मूल्यांकन के समय आने वाली बाधाओं को एक बाधा भंडारण में रखा जाता है। जिसे एक बाधा भंडार कहा जाता है। एक उदाहरण के रूप में लक्ष्य  का मूल्यांकन   के साथ पहले खंड के एल्गोरिदम का मूल्यांकन करके आगे बढ़ता है यह मूल्यांकन   को बाधा भंडार में जोड़ता है और लक्ष्य   को सिद्ध करने की आवश्यकता होती है। इस लक्ष्य को सिद्ध करने का प्रयास करते समय पहला भाग प्रयुक्त किया जाता है लेकिन इसका मूल्यांकन   को बाधा भंडार में जोड़ता है। यह जोड़ बाधा भंडार को असंतोषजनक बनाता है। जिससे अनुवादक फिर पीछे हट जाता है और बाधा भंडार से अंतिम योग को हटा देता है। दूसरे एल्गोरिदम का मूल्यांकन   और   को बाधा भंडार में जोड़ता है। चूंकि बाधा भंडार संतोषजनक है और सिद्ध करने के लिए कोई अन्य शाब्दिक तर्क नहीं है। इसीलिए अनुवादक समाधान   के साथ स्थगित हो जाता है।

शब्दार्थ
बाधा तर्क प्रोग्रामों के शब्दार्थ को एक आभासी अनुवादक के संदर्भ में परिभाषित किया जा सकता है जो निष्पादन के समय एक युग्म $$\langle G,S \rangle$$ को बनाए रखता है। इस युग्म के पहले तत्व को वर्तमान लक्ष्य कहा जाता है दूसरे तत्व को बाधा भंडार कहा जाता है। वर्तमान लक्ष्य में वे अक्षर सम्मिलित हैं जिन्हें अनुवादक सिद्ध करने का प्रयास कर रहा है और इसमें कुछ बाधाएँ भी हो सकती हैं जिन्हें वह संतुष्ट करने का प्रयास कर रहा है। बाधा भंडार में वे सभी बाधाए सम्मिलित हैं जिन्हें अनुवादक ने अब तक संतोषजनक माना है। प्रारंभ में वर्तमान अवधारणा एक लक्ष्य है जिसमे बाधा भंडार रिक्त होता है। अनुवादक पहले तत्व को वर्तमान लक्ष्य से हटाकर और उसका विश्लेषण करके आगे बढ़ता है। इस विश्लेषण का विवरण नीचे समझाया गया है, लेकिन अंत में यह विश्लेषण सफल समाप्ति या विफलता उत्पन्न कर सकता है। इस विश्लेषण में पुनरावर्ती कॉल सम्मिलित हो सकती हैं और सम्मिलित लक्ष्य के लिए नए अक्षर और बाधा भंडार में नई बाधा सम्मिलित हो सकती है। यदि कोई विफलता उत्पन्न होती है तो अनुवादक पीछे हट जाता है। एक सफल समाप्ति तब उत्पन्न होती है जब वर्तमान लक्ष्य रिक्त होता है और बाधा संग्रह संतोषजनक होती है। लक्ष्य से हटाए गए शाब्दिक तर्क के विश्लेषण का विवरण इस प्रकार है। लक्ष्य के सामने से इस शाब्दिक तर्क को हटाने के बाद यह जाँच की जाती है कि यह एक बाधा है या एक शाब्दिक तर्क है। यदि यह एक बाधा है, तो इसे बाधा भंडार में जोड़ा जाता है। यदि यह एक शाब्दिक तर्क है तब इसको शाब्दिक तर्क के समान विधेय मे चुना जाता है एल्गोरिदम को उसके वेरिएबल्स को नए वेरिएबल्स (लक्ष्य में नहीं होने वाले वेरिएबल्स) के साथ परिवर्तित करके पुनः लिखा जाता है। परिणाम को एल्गोरिदम का एक नया संस्करण कहा जाता है। इसके बाद भाग के नए संस्करण का मुख्य भाग लक्ष्य के सामने रखा जाता है। जिससे शाब्दिक तर्क के प्रत्येक तर्क की समानता नए संस्करण के मुख्य भाग से संबंधित एक साथ लक्ष्य के सामने भी रखी गई है। इन प्रोग्रामों के समय कुछ जाँचें की जाती हैं। विशेष रूप से प्रत्येक समय एक नई बाधा जोड़े जाने पर बाधा भंडार की स्थिरता के लिए जाँच की जाती है। सिद्धांतिक रूप में जब भी बाधा भंडार असंतुष्ट होता है। एल्गोरिथ्म पीछे हट सकता है। हालाँकि प्रत्येक चरण पर असंतोष की जाँच अक्षम होती है इस कारण से इसके स्थान पर अपूर्ण संतुष्टि जाँचकर्ता का उपयोग किया जा सकता है। सामान्यतः संतोषजनक तर्क की जाँच उन तरीकों का उपयोग करके की जाती है जो बाधा संग्रह को सरल बनाते हैं और जो कि इसे समतुल्य लेकिन हल करने के लिए सरल रूप में फिर से लिखते हैं। ये विधियां कभी-कभी असंतोषजनक बाधा भंडार की असंतोषजनकता सिद्ध कर सकती हैं लेकिन सदैव ऐसा नहीं होता है।

जब अनुवादक ने लक्ष्य को सिद्ध कर दिया था तब वर्तमान लक्ष्य रिक्त था और बाधा भंडार को असंतोषजनक नहीं पाया गया है। निष्पादन का परिणाम (सरलीकृत) बाधाओं का वर्तमान समूह है। इस समूह में $$X=2$$ जैसे बाधा सम्मिलित हो सकती हैं जो वेरिएबल (चर) को एक विशिष्ट मान के लिए बाध्य करती हैं लेकिन इसमें $$X>2$$ जैसे बाधा भी सम्मिलित हो सकती हैं जो केवल वेरिएबल को एक विशिष्ट मान दिए बिना बाध्य करती हैं।

औपचारिक रूप से, बाधा तर्क प्रोग्रामिंग के शब्दों को व्युत्पत्तियों के संदर्भ में परिभाषित किया गया है। प्रसंस्करण युग्म लक्ष्य या भंडार युग्म द्वारा निर्धारित किए गए युग्म $$\langle G,S \rangle \rightarrow \langle G',S' \rangle$$ एक युग्म है। इस प्रकार की युग्मों की स्थिति $$\langle G,S \rangle$$ से $$\langle G',S' \rangle$$ तक जाने की संभावना है।


 * $G$ का एक तत्व $C$ की बाधा $$G'=G \backslash \{C\}$$ और $$S'=S \cup \{C\}$$ है। दूसरे शब्दों में, एक बाधा को लक्ष्य से बाधा भंडार में ले जाया जा सकता है।
 * $G$ का तत्व एक शाब्दिक तर्क $$L(t_1,\ldots,t_n)$$ है जिसमे एक भाग सम्मिलित है जो नए वेरिएबल का उपयोग करके फिर से $$L(t_1',\ldots,t_n') :- B$$, $$G'$$ लिखा गया है। $G$ के साथ $$L(t_1,\ldots,t_n)$$ द्वारा प्रतिस्थापित $$t_1=t_1',\ldots,t_n=t_n',B$$, और $$S'=S$$ है। दूसरे शब्दों में, एक शाब्दिक तर्क को एक खंड के नए संस्करण के एल्गोरिदम द्वारा प्रतिस्थापित किया जा सकता है। जिसमें नए संस्करण के एल्गोरिदम और लक्ष्य के शब्दों की उपरोक्त समानताएं जोड़ते हुए एक भाग में समान संकेत होता है।
 * $S$ और $$S'$$ विशिष्ट बाधा शब्दार्थ के अनुसार समान हैं।

प्रसंस्करण का अनुक्रम एक व्युत्पत्ति है। लक्ष्य $G$ को सिद्ध किया जा सकता है यदि वहाँ कोई व्युत्पत्ति सम्मिलित है। $$\langle G, \emptyset \rangle$$ को $$\langle \emptyset, S \rangle$$ के संतोषजनक बाधा भंडार के लिए $S$ शब्दार्थ के अनुवादक के संभावित विकास को औपचारिक रूप देता है जो अपेक्षाकृत रूप से प्रक्रिया के लक्ष्य का शाब्दिक चयन करता है और शाब्दिक तर्क को परिवर्तित करने के लिए खंड को दूसरे शब्दों में इस शब्दार्थ के अंतर्गत एक लक्ष्य सिद्ध होता है यदि शाब्दिक तर्क और खंडों के विकल्पों का एक क्रम सम्मिलित होता है। संभवतः कई लोगों के बीच जो एक रिक्त लक्ष्य और संतोषजनक भंडार की ओर ले जाता है।

वास्तविक अनुवादक लक्ष्य तत्वों को एलआईएफओ क्रम में संसाधित करते हैं तत्वों को सामने से जोड़ा जाता है और सामने से संसाधित किया जाता है। वे उस क्रम के अनुसार दूसरे नियम का खंड भी चुनते हैं जिसमें वे लिखे गए हैं और संशोधित होने पर बाधा संग्रह को पुनः लिखते हैं।

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

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

दो शाब्दिक शब्दों की युग्म समानता को प्रायः $$L(t_1,\ldots,t_n)=L(t_1',\ldots,t_n')$$ द्वारा संक्षेप में निरूपित किया जाता है यह एक आशुलिपि है। लेकिन लक्ष्य की तुलना में बाधाओं के लिए बाधा तर्क प्रोग्रामिंग शब्दार्थ का एक सामान्य संस्करण $$t_1=t_1',\ldots,t_n=t_n'$$ सीधे बाधा भंडार में जोड़ता है।

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

रेखीय नियम
रेखीय नियमों के साथ बाधा तर्क प्रोग्रामिंग बाधा भंडार में बाधाओं के रूप में प्रतिस्थापन को संग्रहित करके नियमित तर्क प्रोग्रामिंग का अनुकरण करती है। शर्तें वेरिएबल स्थिरांक और फ़ंक्शन प्रतीक हैं जो अन्य शर्तों पर प्रयुक्त होते हैं। शर्तों के बीच समानता और असमानताओं पर विचार की जाने वाली एकमात्र बाधाएं हैं। समानता विशेष रूप से महत्वपूर्ण है, क्योंकि जैसे प्रतिबंध प्रायः अनुवादक द्वारा उत्पन्न किए जाते हैं। शर्तों पर समानता की बाधाओं को सरल बनाया जा सकता है। जिसे एकीकरण के माध्यम से हल किया जाता है।

एक बाधा  को सरल बनाया जा सकता है यदि दोनों पद अन्य पदों पर प्रयुक्त फ़ंक्शन प्रतीक हैं। यदि दो फ़ंक्शन प्रतीक समान हैं और उपनियम की संख्या भी समान है तो इस बाधा को उपनियम की युग्म समानता से परिवर्तित जा सकता है। यदि शर्तें अलग-अलग फ़ंक्शन प्रतीकों या एक ही गुणक से बनी हैं लेकिन अलग-अलग शर्तों पर बाधा को असंतुष्ट करती है।

यदि दो पदों में से एक वेरिएबल है तो वेरिएबल का एकमात्र अनुमत मान दूसरा पद हो सकता है। जिसके परिणाम स्वरूप अन्य शब्द वेरिएबल को वर्तमान लक्ष्य और बाधा भंडार में परिवर्तित कर सकते हैं। इस प्रकार सामान्य रूप से वेरिएबल को विचार से हटा सकते हैं। स्वयं के साथ एक वेरिएबल की समानता की विशेष स्थिति में बाधा को सदैव संतुष्ट के रूप में हटाया जा सकता है। बाधा संतुष्टि के इस रूप में वेरिएबल मान पद हैं।

वास्तविक संख्याए
वास्तविक संख्या के साथ बाधा तर्क प्रोग्रामिंग शब्दों के रूप में वास्तविक भावों का उपयोग करती है। जब कोई फ़ंक्शन प्रतीकों का उपयोग नहीं किया जाता है तो शब्द संभवतः वेरिएबल सहित वास्तविक रूप से अभिव्यक्ति होते हैं। इस स्थिति में प्रत्येक वेरिएबल केवल एक वास्तविक संख्या को मान के रूप में ले सकता है। शुद्ध होने के लिए पद वेरिएबल और वास्तविक स्थिरांक पर व्यंजक हैं। शर्तों के बीच समानता एक प्रकार की बाधा है जो सदैव सम्मिलित रहती है क्योंकि अनुवादक निष्पादन के समय शर्तों की समानता उत्पन्न करता है। एक उदाहरण के रूप में यदि वर्तमान लक्ष्य का पहला अक्षर  है और अनुवादक ने एक खंड चुना है जो   फिर से लिखने के बाद वेरिएबल हैं वर्तमान में बाधाओं को जोड़ा गया है जिसका लक्ष्य   और $$Y=1$$ हैं। फ़ंक्शन प्रतीकों के लिए उपयोग किए जाने वाले सरलीकरण के नियम स्पष्ट रूप से उपयोग नहीं किए जाते हैं।   केवल इसलिए असंतोषजनक नहीं है क्योंकि पहली अभिव्यक्ति   का उपयोग करके बनाई गई है और दूसरी   का उपयोग करके बनाई गई है।

वास्तविक संख्याए और फ़ंक्शन प्रतीकों को जोड़ा जा सकता है। जो उन शर्तों के लिए अग्रणी होते हैं। जो वास्तविक और फ़ंक्शन प्रतीकों पर अन्य शर्तों पर प्रयुक्त होते हैं। औपचारिक रूप से, वेरिएबल और वास्तविक स्थिरांक भाव हैं अन्य अभिव्यक्तियों पर किसी भी अंकगणितीय संचालक के रूप में वेरिएबल स्थिरांक (शून्य एरिटी फ़ंक्शन प्रतीक) और भाव शब्द हैं। जैसा कि कोई भी फ़ंक्शन प्रतीक शर्तों पर प्रयुक्त होता है। दूसरे शब्दों में पद व्यंजकों पर निर्मित होते हैं जबकि व्यंजक संख्याओं और वेरिएबलों पर निर्मित होते हैं। इस स्थिति में वेरिएबल वास्तविक संख्या और शब्दों से अधिक होते हैं। दूसरे शब्दों में वेरिएबल एक वास्तविक संख्या को मान के रूप में ले सकता है जबकि दूसरा एक पद लेता है।

यदि दो शब्दों में से कोई भी वास्तविक अभिव्यक्ति नहीं है, तो दो शब्दों की समानता को वास्तविक शर्तों के नियमों का उपयोग करके सरल बनाया जा सकता है। उदाहरण के लिए यदि दो शब्दों में एक ही फ़ंक्शन प्रतीक और उपनियम की संख्या है तो उनकी समानता की बाधा को उपनियम की समानता से परिवर्तित किया जा सकता है।

परिमित डोमेन
बाधा तर्क प्रोग्रामिंग में प्रयुक्त बाधाओं की तीसरी श्रेणी परिमित डोमेन की है। वेरिएबल के मान इस स्थिति में एक परिमित डोमेन से लिए गए हैं, जो प्रायः पूर्णांक संख्याओं के होते हैं। प्रत्येक वेरिएबल के लिए एक अलग डोमेन निर्दिष्ट किया जा सकता है उदाहरण के लिए इसका अर्थ यह है कि   के बीच है   और   है। एक वेरिएबल का डोमेन उन सभी मानों की गणना करके भी दिया जा सकता है जो एक वेरिएबल कर सकते हैं। इसलिए उपरोक्त डोमेन घोषणा को   भी लिखा जा सकता है। डोमेन निर्दिष्ट करने का यह दूसरा तरीका उन डोमेन के लिए स्वीकृति देता है जो पूर्णांकों से नहीं बने हैं। जैसे कि   यदि एक वेरिएबल का डोमेन निर्दिष्ट नहीं है तो इसे भाषा में प्रतिनिधित्व करने योग्य पूर्णांकों का समूह  माना जाता है। जैसे घोषण पत्र का उपयोग करके वेरिएबल के समूह को एक ही डोमेन दिया जा सकता है।

निष्पादन के समय वेरिएबल के डोमेन को कम किया जा सकता है। वास्तव में जैसा कि अनुवादक बाधा संग्रह में बाधा डालता है यह स्थानीय स्थिरता के एक रूप को प्रयुक्त करने के लिए बाधा प्रसार करता है और ये संचालित वेरिएबल के डोमेन को कम कर सकते हैं। यदि किसी वेरिएबल का डोमेन रिक्त हो जाता है तो बाधा भंडार असंगत होता है और एल्गोरिथम पीछे हट जाता है। यदि किसी वेरिएबल का डोमेन एकल डोमेन बन जाता है तो वेरिएबल को उसके डोमेन में अद्वितीय मान निर्दिष्ट किया जा सकता है। सामान्यतः प्रयुक्त की जाने वाली संगति के रूप आर्क संगति, हाइपर-आर्क संगति और बाध्य संगति हैं। एक वेरिएबल के वर्तमान डोमेन का विशिष्ट शाब्दिक उपयोग करके निरीक्षण किया जा सकता है। उदाहरण के लिए ) एक वेरिएबल   के वर्तमान डोमेन   की खोज करता है।

वास्तविक डोमेन के लिए प्रकार्यक का उपयोग पूर्णांक के डोमेन के साथ किया जा सकता है। इस स्थिति में एक पद पूर्णांकों पर व्यंजक हो सकता है या एक स्थिरांक हो सकता है या अन्य पदों पर एक प्रकार्यक का अनुप्रयोग हो सकता है। एक वेरिएबल अपेखाकृत शब्द मान के रूप में ले सकता है। यदि इसके डोमेन को पूर्णांक या स्थिरांक के रूप में निर्दिष्ट नहीं किया गया है।

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

हालाँकि, बाधा भंडार में  के रूप में भी बाधाएँ हो सकती हैं, यदि   के बीच की स्वीकृति है। जब वास्तविक या परिमित डोमेन पर बाधाओं की स्वीकृति दी जाती है तो बाधा भंडार में डोमेन विशिष्ट बाधाएँ जैसे  भी हो सकती हैं।

बाधा भंडार वर्तमान प्रतिस्थापन की अवधारणा को दो प्रकार से विस्तारित करता है। सबसे पहले इसमें न केवल एक खंड के एक नए संस्करण के भाग के साथ एक शाब्दिक समानता से उत्पन्न बाधाएं सम्मिलित हैं बल्कि खंडों के एल्गोरिदम की बाधाएं भी सम्मिलित हैं। दूसरा इसमें न केवल  के रूप मे बाधाएं होती हैं। मानक बाधा भाषा पर भी बाधाएं होती हैं। जबकि एक नियमित तर्क प्रोग्राम के सफल मूल्यांकन का परिणाम अंतिम प्रतिस्थापन है एक बाधा तर्क प्रोग्राम का परिणाम अंतिम बाधा भंडार है। जिसमें   का रूप बाधा हो सकता है लेकिन सामान्य रूप से अपेक्षाकृत प्रतिबंध हो सकता है।

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

बाधा भंडार में बाधा जोड़े जाने के बाद बाधा भंडार पर कुछ संचालन किए जाते हैं। कौन से संचालन किए जाते हैं यह माना जाने वाले डोमेन और बाधाओं पर निर्भर करता है। उदाहरण के लिए, एकीकरण का उपयोग परिमित ट्री समानता के लिए किया जाता है। वास्तविक से अधिक बहुपद समीकरणों के लिए वेरिएबल उन्मूलन, परिमित डोमेन के लिए स्थानीय स्थिरता के एक रूप को प्रयुक्त करने के लिए बाधा प्रसार इन परिचालनों का लक्ष्य संतोषप्रदता की जांच और समाधान के लिए बाधा भंडार को आसान बनाना है।

इन परिचालनों के परिणामस्वरूप नए अवरोधों के जुड़ने से पुराने प्रतिबंध परिवर्तित हो सकते हैं। यह आवश्यक है कि जब अनुवादक पीछे हटता है तो वह इन परिवर्तनों को पूर्ववत करने में सक्षम हो सकता है। अनुवादक के लिए सबसे आसान केस विधि प्रत्येक बार भंडार की पूरी स्थिति को सुरक्षित करने के लिए है। जब भी वह चुनाव करता है या एक लक्ष्य को फिर से लिखने के लिए एक भंडारण चुनता है तब बाधा भंडार को पिछली स्थिति में लौटने की स्वीकृति देने के लिए अधिक कुशल तरीके सम्मिलित हैं। विशेष रूप से, पुरानी बाधाओं में किए गए परिवर्तनों सहित, मुख्य दो बिंदुओं के बीच किए गए बाधा भंडार में किए गए परिवर्तनों को सहेज सकते हैं। यह केवल संशोधित की गई बाधाओं के पुराने मान को सहेज कर किया जा सकता है। इस विधि को अनुगामी विधि कहा जाता है। संशोधित बाधाओं पर किए गए परिवर्तनों को सहेजने के लिए एक और उन्नत तरीका है। उदाहरण के लिए एक रेखीय बाधा को उसके गुणांक के साथ संशोधित करके परिवारित कर दिया जाता है। पुराने और नए गुणांक के बीच अंतर को बचाने से परिवर्तन को वापस लाने की स्वीकृति प्राप्त होती है। इस दूसरी विधि को "शब्दार्थ-बैकट्रैकिंग" कहा जाता है, क्योंकि परिवर्तन के शब्दार्थ को केवल बाधाओं के पुराने संस्करण के अतिरिक्त सहेजा जाता है।

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

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

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

सामान्यतः बाधा तर्क प्रोग्राम इस प्रकार से लिखे जाते हैं कि वर्गीकरण अक्षर का मूल्यांकन बाधा भंडार में जितनी संभव हो उतनी बाधाओं के बाद ही किया जाता है। ऐसा इसलिए है क्योंकि शाब्दिक वर्गीकरण खोज को प्रयुक्त करती है और संतुष्ट होने के लिए अधिक बाधाएं होने पर खोज अधिक कुशल होती है। निम्नलिखित संरचना वाले बाधा तर्क प्रोग्राम द्वारा एक बाधा संतुष्टि समस्या को सामान्य रूप से हल किया जाता है: जब अनुवादक लक्ष्य  का मूल्यांकन करता है, तो यह वर्तमान लक्ष्य में पहले खंड के नए संस्करण के एल्गोरिदम को प्रयुक्त करता है। चूँकि पहला लक्ष्य   है। जब दूसरे खंड का मूल्यांकन किया जाता है और यह संचालन सभी बाधाओं को वर्तमान लक्ष्य में और अंततः बाधा भंडार में ले जाता है। इसके बाद लिटरल   का मूल्यांकन किया जाता है, जिससे बाधा भंडार के समाधान की खोज की जाती है। चूंकि बाधा भंडार में मूल बाधा संतुष्टि समस्या के बिल्कुल बाधा होते हैं, इसलिए यह संचालन मूल समस्या के समाधान की खोज करता है।

प्रोग्राम सुधार
इसकी दक्षता में सुधार के लिए दिए गए बाधा तर्क प्रोग्राम को सुधारा जा सकता है। पहला नियम यह है कि वर्गीकरण लिटरल को तब रखा जाना चाहिए जब वर्गीकृत लिटरल पर अधिक से अधिक प्रतिबंध बाधा भंडार में एकत्र हो जाएं। जबकि सिद्धांत में A(X):-labeling(X),X>0 के समतुल्य A(X):-X>0,labeling(X) है। वह खोज जो तब की जाती है जब अनुवादक शाब्दिक वर्गीकरण का सामना करता है बाधा भंडार जिसमें बाधा  नहीं है। जिसके परिणामस्वरूप यह समाधान उत्पन्न कर सकता है। जैसे कि   जो बाद में इस बाधा को पूरा नहीं करने के लिए पाया गया है। दूसरी ओर दूसरे सूत्रीकरण में खोज तभी की जाती है जब बाधा पहले से ही बाधा भंडार में हो। जिसके परिणाम स्वरूप खोज केवल उन समाधानों को वापस करती है जो इसके अनुरूप हैं, इस तथ्य का लाभ प्राप्त करते हुए अतिरिक्त बाधाएं खोज स्थान को अपेक्षाकृत कम करती हैं।

एक दूसरा सुधार जो दक्षता में वृद्धि कर सकता है खंड के एल्गोरिदम में शाब्दिक से पहले बाधाओं को रखना है। पुनः A(X):-B(X),X>0 और A(X):-X>0,B(X) सिद्धांत रूप में समतुल्य हैं। हालाँकि पहले को अधिक गणना की आवश्यकता हो सकती है। उदाहरण के लिए यदि बाधा भंडार में बाधा  है तो अनुवादक पहले की स्थिति में   का पुनरावर्ती मूल्यांकन करता है यदि यह सफल होता है, तो यह पता चलता है कि   जोड़ते समय बाधा भंडार असंगत है। दूसरी स्थिति में उस खंड का मूल्यांकन करते समय अनुवादक पहले   को बाधा भंडार में जोड़ता है और फिर संभवतः   का मूल्यांकन करता है। चूंकि   के अतिरिक्त होने के बाद बाधा भंडार असंगत हो जाता है। जिससे   का पुनरावर्ती मूल्यांकन नहीं किया जाता है। एक तीसरा सुधार जो दक्षता बढ़ा सकता है वह अनावश्यक बाधाओं को जोड़ना है। यदि प्रोग्रामर किसी भी प्रकार से जानता है कि किसी समस्या का समाधान एक विशिष्ट बाधा को संतुष्ट करता है तो वे उस बाधा को शीघ्र ही बाधा भंडार की असंगति उत्पन्न करने के लिए सम्मिलित कर सकते हैं। उदाहरण के लिए यदि यह पहले से ज्ञात है कि   के मूल्यांकन के परिणामस्वरूप   के लिए धनात्मक मान होगा तो प्रोग्रामर   की किसी भी घटना से पहले   जोड़ सकता है। एक उदाहरण के रूप में,  लक्ष्य   पर विफल हो जाएगा, लेकिन यह केवल उपलक्ष्य   के मूल्यांकन के समय पाया गया है। दूसरी ओर यदि उपरोक्त खंड को A(X,Y):-X>0,A(X),B(X) से परिवर्तित कर दिया जाता है तो जैसे ही बाधा   को बाधा में जोड़ा जाता है जिससे भंडार से अनुवादक पीछे हट जाता है। जो   के मूल्यांकन से पहले प्रारम्भ होता है।

बाधा प्रबंधन नियम
बाधा प्रबंधन नियमों को प्रारम्भ में बाधा हल करने वालों को निर्दिष्ट करने के लिए स्वचालित औपचारिकता के रूप में परिभाषित किया गया था। और बाद में तर्क प्रोग्रामिंग में अन्तः स्थापित किया गया था। बाधा प्रबंधन नियम दो प्रकार के होते हैं। पहले प्रकार के नियम निर्दिष्ट करते हैं कि दी गई शर्तों के अंतर्गत बाधाओं का एक एल्गोरिथम दूसरे के बराबर होता है। दूसरे प्रकार के नियम निर्दिष्ट करते हैं कि एक निश्चित शर्त के अंतर्गत बाधाओं का एक एल्गोरिथम दूसरे को दर्शाता है। बाधा प्रबंधन नियमों का समर्थन करने वाली बाधा तर्क प्रोग्रामिंग भाषा में प्रोग्रामर इन नियमों का उपयोग बाधा भंडार के संभावित पुनर्लेखन और बाधाओं के संभावित जोड़ों को निर्दिष्ट करने के लिए कर सकता है। निम्नलिखित उदाहरण नियम हैं: A(X) <=> B(X) | C(X) A(X) ==> B(X) | C(X) पहला नियम बताता है कि यदि  भंडार द्वारा प्रवेश किया जाता है तो बाधा   को   के रूप में फिर से लिखा जा सकता है। एक उदाहरण के रूप में   को   के रूप में पुनः से लिखा जा सकता है यदि भंडार का तात्पर्य   से है। प्रतीक   तर्क में समानता जैसा दिखता है और बताता है कि पहली बाधा बाद के बराबर है। सामान्यतः इसका तात्पर्य है कि पहली बाधा को बाद वाले से परिवर्तित जा सकता है।

इसके अतिरिक्त दूसरा नियम निर्दिष्ट करता है कि बाद की बाधा पहले का परिणाम है यदि बीच में बाधा, बाधा भंडार से जुड़ी हुई है। जिसके परिणाम स्वरूप यदि  बाधा भंडार में है और   बाधा भंडार से जुड़ा हुआ है तो भंडार में   जोड़ा जा सकता है। तुल्यता की स्थिति से अलग यह एक जोड़ है और प्रतिस्थापन नहीं है जिसमे नया अवरोध जोड़ा जाता है लेकिन पुराना बना रहता है।

समानता कुछ बाधाओं को सरल बाधा के साथ परिवर्तित बाधा संग्रह को सरल बनाने की स्वीकृति देती है। विशेष रूप से यदि एक तुल्यता नियम में तीसरी बाधा  है और दूसरी बाधा सम्मिलित है तो पहली बाधा, बाधा संग्रह से हटा दी जाती है। अनुमान नई बाधाओं को जोड़ने की स्वीकृति देता है। जिससे बाधा भंडार की असंगतता सिद्ध हो सकती है और सामान्यतः इसकी संतुष्टि को स्थापित करने के लिए आवश्यक खोज की मात्रा अपेक्षाकृत कम हो सकती है।

बाधा प्रबंधन नियमों के संयोजन में तार्किक प्रोग्रामिंग खंड का उपयोग बाधा भंडार की संतुष्टि की स्थापना के लिए एक विधि निर्दिष्ट करने के लिए किया जा सकता है। विधि के विभिन्न विकल्पों को प्रयुक्त करने के लिए विभिन्न खंडों का उपयोग किया जाता है। निष्पादन के समय बाधा भंडार को पुनः लिखने के लिए बाधा प्रबंधन नियमों का उपयोग किया जाता है। एक उदाहरण के रूप में इकाई प्रसार के साथ बैकट्रैकिंग को इस प्रकार प्रयुक्त किया जा सकता है। माना कि  एक प्रस्तावक खंड का प्रतिनिधित्व करता है। जिसमें सूची   में अक्षर उसी क्रम में होते हैं जैसे उनका मूल्यांकन किया जाता है। एल्गोरिथम को सही या गलत के लिए शाब्दिक निर्दिष्ट करने के विकल्प के लिए एल्गोरिथम का उपयोग करके प्रयुक्त किया जा सकता है, और प्रसार को निर्दिष्ट करने के लिए बाधाओं से प्रबंधन नियमों को प्रयुक्त किया जा सकता है। ये नियम निर्दिष्ट करते हैं कि   को हटाया जा सकता है यदि भंडार से   होता है, और इसे   के रूप में पुनः लिखा जा सकता है। यदि   भंडार से अनुसरण करता है। इसी प्रकार   को   से परिवर्तित जा सकता है। इस उदाहरण में तर्क प्रोग्रामिंग के खंडों का उपयोग करके एक वेरिएबल के लिए मान का चुनाव कार्यान्वित किया जाता है। हालांकि इसे असंबद्ध बाधा प्रबंधन नियम या सीएचआरवी नामक विस्तारण का उपयोग करके बाधा प्रबंधन नियमों में एन्कोड (कूटबद्‍ध) किया जा सकता है।

नीचे-ऊपर का मूल्यांकन
तर्क प्रोग्रामों के मूल्यांकन की मानक परिकल्पना ऊपर से नीचे और प्रथम है। लक्ष्य से कई खंडों की पहचान संभवतः लक्ष्य को सिद्ध करने में सक्षम होने के रूप में की जाती है और उनके एल्गोरिदम के शाब्दिक तर्क पर पुनरावर्तन किया जाता है। तथ्यों से प्रारम्भ करना और नए तथ्यों को प्राप्त करने के लिए खंडों का उपयोग करना एक वैकल्पिक परिकल्पना है। इस परिकल्पना को नीचे-ऊपर कहा जाता है। इसे ऊपर-नीचे से अपेक्षाकृत माना जाता है जब उद्देश्य किसी एक लक्ष्य को सिद्ध करने के अतिरिक्त किसी दिए गए प्रोग्राम के सभी परिणामों का उत्पादन करना होता है तब विशेष रूप से किसी प्रोग्राम के सभी परिणामों को मानक ऊपर-नीचे और प्रथम तरीके से खोजना समाप्त नहीं हो सकता है। जबकि नीचे-ऊपर की मूल्यांकन परिकल्पना समाप्त हो जाती है।

नीचे से ऊपर की मूल्यांकन परिकल्पना मूल्यांकन के समय से अब तक सिद्ध तथ्यों के एल्गोरिथम को बनाए रखती है। यह एल्गोरिथम प्रारंभ में रिक्त होता है। प्रत्येक चरण के साथ, सम्मिलित तथ्यों के लिए एक प्रोग्राम खंड प्रयुक्त करके नए तथ्य निकाले जाते हैं। और एल्गोरिथम में जोड़े जाते हैं। उदाहरण के लिए निम्नलिखित प्रोग्राम के नीचे के मूल्यांकन के लिए दो चरणों की आवश्यकता होती है:

A(q). B(X):-A(X).

परिणामों का एल्गोरिथम प्रारंभ में रिक्त होता है। पहले चरण में  एकमात्र खंड है। जिसका एल्गोरिदम सिद्ध किया जा सकता है। क्योंकि यह रिक्त है और   इसलिए परिणामों के वर्तमान एल्गोरिथम में जोड़ा जाता है। दूसरे चरण में चूँकि   सिद्ध हो चुका है तो दूसरे खंड का उपयोग किया जा सकता है और परिणामों में   जोड़ा जाता है। चूंकि   से कोई अन्य परिणाम सिद्ध नहीं किया जा सकता है। निष्पादन समाप्त हो गया है।

ऊपर से नीचे के मूल्यांकन पर नीचे से ऊपर के मूल्यांकन का लाभ यह है कि व्युत्पत्तियों के चक्र एक अनंत लूप का उत्पादन नहीं करते हैं। ऐसा इसलिए है क्योंकि परिणामों के वर्तमान एल्गोरिथम में एक परिणाम जोड़ने से पहले से ही कोई प्रभाव नहीं पड़ता है। एक उदाहरण के रूप में उपरोक्त प्रोग्राम में तीसरा खंड जोड़ने से ऊपर-नीचे मूल्यांकन में व्युत्पत्तियों का एक लूप उत्पन्न होता है: A(q). B(X):-A(X). A(X):-B(X). उदाहरण के लिए लक्ष्य  के सभी उत्तरों का मूल्यांकन करते समय नीचे-ऊपर के मूल्यांकन निम्नलिखित व्युत्पन्न उत्पन्न कर सकते है। A(q) A(q):-B(q), B(q):-A(q), A(q) A(q):-B(q), B(q):-A(q), A(q):-B(q), B(q):-A(q), A(q) दूसरे शब्दों में एकमात्र परिणाम  पहले उत्पन्न होता है लेकिन फिर एल्गोरिथम उन व्युत्पत्तियों पर लूप करता है जो किसी अन्य उत्तर का उत्पादन नहीं करते हैं। अधिक सामान्यतः ऊपर से नीचे का मूल्यांकन संभावित व्युत्पत्तियों पर चक्रित हो सकता है। संभवतः जब अन्य एल्गोरिथम सम्मिलित होते है।

नीचे-ऊपर के मूल्यांकन में वही कमी नहीं होती है क्योंकि जो परिणाम पहले ही प्राप्त हो चुके हैं। उनका कोई प्रभाव नहीं पड़ता है। उपरोक्त प्रोग्राम पर नीचे-ऊपर के मूल्यांकन परिणामों के एल्गोरिथम में  को जोड़ना प्रारम्भ होता है। दूसरे चरण में   का उपयोग   को प्राप्त करने के लिए किया जाता है। तीसरे चरण में, वर्तमान परिणामों से प्राप्त होने वाले एकमात्र तथ्य   और   हैं, जो पहले से ही परिणामों मे प्रयुक्त हैं। जिसके परिणाम स्वरूप एल्गोरिथ्म स्थगित हो जाता है।

उपरोक्त उदाहरण में केवल प्रयुक्त कथन ग्राउंड लिटरल के थे। सामान्यतः प्रत्येक खंड जिसमें केवल एल्गोरिदम में बाधाएँ होती हैं उसे तथ्य माना जाता है। उदाहरण के लिए एक खंड  को तथ्य माना जाता है। तथ्यों की इस विस्तारित परिभाषा के लिए कुछ तथ्य समतुल्य हो सकते हैं। जबकि वाक्यात्मक रूप से समान नहीं हो सकते है। उदाहरण के लिए   के बराबर है   और दोनों के बराबर   हैं। इस समस्या को हल करने के लिए तथ्यों को सामान्य रूप में अनुवादित किया जाता है। जिसमें शीर्ष में सभी अलग-अलग वेरिएबल का एक टपल होता है। दो तथ्य तब समतुल्य होते हैं यदि उनके एल्गोरिदम शीर्ष के वेरिएबल पर समतुल्य होते हैं अर्थात इन वेरिएबलों तक सीमित होने पर उनके समाधान के एल्गोरिदम समान होते हैं।

जैसा कि वर्णन किया गया है कि नीचे-ऊपर का दृष्टिकोण में उन परिणामों पर विचार न करने का लाभ है जो पहले ही प्राप्त हो चुके हैं। हालाँकि यह अभी भी उन परिणामों को प्राप्त कर सकता है। जो उनमें से किसी के बराबर नहीं होने के अतिरिक्त पहले से प्राप्त किए गए हैं। एक उदाहरण के रूप में निम्न प्रोग्राम का नीचे से ऊपर का मूल्यांकन अनंत है: नीचे-ऊपर का मूल्यांकन एल्गोरिद्म सबसे पहले यह निकालता है कि    और   के लिए सही है। दूसरे चरण में, तीसरे खंड के साथ पहला तथ्य   की व्युत्पत्ति के लिए स्वीकृति देता है। तीसरे चरण में   व्युत्पन्न होता है। हालाँकि ये तथ्य पहले से ही इस तथ्य से जुड़े हुए हैं कि   किसी भी गैर-ऋणात्मक X के लिए सत्य है। जिसको परिणामों के वर्तमान एल्गोरिद्म में जोड़ा गया है। यदि नया परिणाम एल्गोरिद्म द्वारा पहले से ही हल है तो उसे इसमें नहीं जोड़ा जाता है। चूंकि तथ्यों को खंड के रूप में संग्रहीत किया जाता है। संभवतः "स्थानीय वेरिएबल" के साथ उनके शीर्ष के वेरिएबल पर प्रवेश प्रतिबंधित होता है।

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

सांकेतिक रूप से समवर्ती बाधाएँ तर्क प्रोग्राम गैर-समवर्ती प्रोग्रामों के समान हैं एकमात्र अपवाद यह है कि खंड में संरक्षण सम्मिलित होता हैं जो ऐसी बाधाएँ हैं उनको कुछ शर्तों के अंतर्गत खंड की प्रयोज्यता को अवरुद्ध कर सकती हैं। शब्दार्थ के अनुसार समवर्ती बाधा तर्क प्रोग्रामिंग अपने गैर-समवर्ती संस्करणों से अलग है क्योंकि एक लक्ष्य मूल्यांकन का उद्देश्य किसी समस्या का समाधान खोजने के अतिरिक्त समवर्ती प्रक्रिया का एहसास करना है। विशेष रूप से यह अंतर इस विषय को प्रभावित करता है कि एक से अधिक खंड प्रयुक्त होने पर अनुवादक कैसे व्यवहार करता है। गैर-समवर्ती बाधा तर्क प्रोग्रामिंग पुनरावर्ती रूप से सभी खंडों का प्रयास करती है। समवर्ती बाधा तर्क प्रोग्रामिंग केवल एक को चयनित करती है। यह अनुवादक की एक इच्छित दिशात्मकता का सबसे स्पष्ट प्रभाव है जो पहले से लिए गए किसी विकल्प को संशोधित नहीं करता है। इसके अन्य प्रभाव एक लक्ष्य होने की शब्दार्थिक संभावना है। जिसे सिद्ध नहीं किया जा सकता है। जबकि संपूर्ण मूल्यांकन विफल नहीं होता है और लक्ष्य या खंड शीर्ष के बराबर होने का एक विशेष प्रकार है।

अनुप्रयोग
बाधा तर्क प्रोग्रामिंग को कई क्षेत्रों जैसे कि स्वचालित योजना और अनुसूची, अनुमान डेटा टाइप, राजनैतिक अभियांत्रिकी, यांत्रिक अभियांत्रिकी, डिजिटल परिपथ सत्यापन, हवाई यातायात नियंत्रण, वित्त और अन्य क्षेत्रों में प्रयुक्त किया गया है।

इतिहास
1987 में जफ़र और लासेज़ द्वारा बाधा तार्किक प्रोग्रामिंग भाषा का प्रारम्भ किया गया था। उन्होंने इस अवलोकन को सामान्यीकृत किया कि शब्द समीकरण और प्रोलॉग-II की विषमताएं बाधाओं का एक विशिष्ट रूप थीं। इस विचार को अपेक्षाकृत रूप से बाधा भाषाओं के लिए सामान्यीकृत किया था। इस अवधारणा का पहला कार्यान्वयन प्रोलॉग-III, सीएलपी (आर) और सीएचआईपी भाषा मे किया गया था।

यह भी देखें

 * एसडब्ल्यूआई-प्रोलॉग
 * एनबीआर प्रस्तावना या सीएलपी (बीएनआर)
 * बाधा प्रबंधन नियम
 * सीआओ (प्रोग्रामिंग भाषा)
 * सीएलपी (आर)
 * ओज़ (प्रोग्रामिंग भाषा)
 * ईसीएलआईपीएसई
 * जीएनयू प्रोलॉग
 * एसडब्ल्यूआई-प्रोलॉग

संदर्भ

 * ISBN 1-55860-890-7
 * ISBN 0-521-82583-0
 * ISBN 0-262-13341-5
 * ISBN 3-540-67623-6