Transaction logic
लेन-देन तर्क विधेय तर्क का एक विस्तार है जो तर्क कार्यक्रमों और डेटाबेस में स्थिति परिवर्तनों की घटना के लिए एक स्वच्छ और घोषणात्मक तरीके से जिम्मेदार है। यह विस्तार विशेष रूप से जटिल लेनदेन में सरल कार्यों के संयोजन और उनके निष्पादन पर नियंत्रण प्रदान करने के लिए डिज़ाइन किए गए संयोजकों को जोड़ता है। तर्क में एक प्राकृतिक मॉडल सिद्धांत और एक ध्वनि और पूर्ण प्रमाण सिद्धांत है। लेनदेन तर्क में एक हॉर्न खंड उपसमुच्चय होता है, जिसमें एक प्रक्रियात्मक के साथ-साथ एक घोषणात्मक शब्दार्थ भी होता है। तर्क की महत्वपूर्ण विशेषताओं में काल्पनिक और प्रतिबद्ध अद्यतन, लेन-देन निष्पादन पर गतिशील बाधाएं, गैर-निर्धारणवाद और थोक अद्यतन शामिल हैं। इस तरह, लेन-देन तर्क कृत्रिम बुद्धिमत्ता में प्रक्रियात्मक ज्ञान, सक्रिय डेटाबेस और ऑब्जेक्ट डेटाबेस में दुष्प्रभाव वाले तरीकों सहित कई गैर-तार्किक घटनाओं को घोषणात्मक रूप से पकड़ने में सक्षम है। लेन-देन तर्क मूल रूप से एंथनी बोनर और माइकल किफर द्वारा प्रस्तावित किया गया था और बाद में और में अधिक विस्तार से वर्णित किया गया था। सबसे व्यापक विवरण में दिखाई देता है। बाद के वर्षों में, लेन-देन तर्क को विभिन्न तरीकों से विस्तारित किया गया था, जिसमें समवर्ती, दोषपूर्ण तर्क, आंशिक रूप से परिभाषित कार्य और अन्य विशेषताएं शामिल थीं। 2013 में, लेन-देन तर्क पर मूल पेपर ने पिछले 20 वर्षों में आई. सी. एल. पी. 1993 सम्मेलन की कार्यवाही से सबसे प्रभावशाली पेपर के रूप में एसोसिएशन फॉर लॉजिक प्रोग्रामिंग का 20-वर्षीय टेस्ट ऑफ टाइम अवार्ड जीता है। उदाहरण ग्राफ रंग यहाँ लेन-देन प्रविष्टि के प्राथमिक अद्यतन संचालन को दर्शाता है। संयोजी को क्रमिक संयोजन कहा जाता है। कलर नोड <-//रंग एक नोड सही ढंग से नोड (एन) रंग (एन, _) रंग (सी) रंग (निकटवर्ती (एन, एन 2) रंग (एन 2, सी)) टिनसर्ट (रंगीन (एन, सी))। कलरग्राफ <-¬अनकलर्डनोड्सलेफ्ट। colorGraph <-colorNode χ colorGraph। पिरामिड स्टैकिंग प्राथमिक अद्यतन लेन-देन हटाने के संचालन का प्रतिनिधित्व करता है। स्टैक (एन, एक्स) <-एन> 0 चाल (वाई, एक्स) स्टैक (एन-1, वाई)। स्टैक (0, X)। मूव (X, Y) <-पिकअप (X) पुटडाउन (X, Y)। पिकअप (X) <-क्लियर (X) χ (X, Y) χ टिनसर्ट (क्लियर (Y)) पर। पुटडाउन (X, Y) <-चौड़ा (Y, X) χ स्पष्ट (Y) χ टिनसर्ट ((X, Y) पर) χ हटाना (स्पष्ट (Y))। काल्पनिक निष्पादन यहाँ संभावना का मॉडल प्रचालक हैः यदि दोनों संभव हैं और हैं, तो निष्पादित करें। अन्यथा, यदि केवल संभव है, तो इसे निष्पादित करें। निष्पादित करें <-<> एक्शन1 <> एक्शन2 एक्शन1। एक्शन1 <> एक्शन2 एक्शन2 को निष्पादित करें। भोजन दार्शनिक यहाँ समवर्ती लेन-देन तर्क के समानांतर संयोजन का तार्किक संयोजन है। दार्शनिक <-phil (1)। phil (2)। phil (3)। phil (4) कार्यान्वयन लेन-देन तर्क के कई कार्यान्वयन मौजूद हैंः मूल कार्यान्वयन। समवर्ती लेन-देन तर्क का कार्यान्वयन। लेन-देन तर्क को सारणीकरण के साथ बढ़ाया गया। लेन-देन तर्क के कार्यान्वयन को भी फ्लोरा-2 ज्ञान प्रतिनिधित्व और तर्क प्रणाली के हिस्से के रूप में शामिल किया गया है। ये सभी कार्यान्वयन मुक्त स्रोत हैं। संदर्भ बाहरी लिंक फ्लोरा-2 वेब साइट, जिसमें लेनदेन लॉजिक लॉजिक प्रोग्रामिंग भाषाओं पर अतिरिक्त पेपर शामिल हैं घोषणात्मक प्रोग्रामिंग भाषाएं ज्ञान प्रतिनिधित्व