Transaction logic
பரிவர்த்தனை தர்க்கம் என்பது முன்கணிப்பு தர்க்கத்தின் விரிவாக்கமாகும், இது தர்க்க நிரல்கள் மற்றும் தரவுத்தளங்களில் நிலை மாற்றங்களின் நிகழ்வுக்கு ஒரு சுத்தமான மற்றும் அறிவிப்பு வழியில் கணக்கிடுகிறது. இந்த நீட்டிப்பு எளிய செயல்களை சிக்கலான பரிவர்த்தனைகளுடன் இணைப்பதற்கும் அவற்றின் செயல்பாட்டின் மீது கட்டுப்பாட்டை வழங்குவதற்கும் குறிப்பாக வடிவமைக்கப்பட்ட இணைப்புகளைச் சேர்க்கிறது. தர்க்கம் ஒரு இயற்கை மாதிரி கோட்பாடு மற்றும் ஒரு ஒலி மற்றும் முழுமையான ஆதார கோட்பாட்டைக் கொண்டுள்ளது. பரிவர்த்தனை தர்க்கம் ஒரு ஹார்ன் உட்பிரிவு துணைக்குழுவைக் கொண்டுள்ளது, இது ஒரு நடைமுறை மற்றும் அறிவிப்பு சொற்பொருள்களைக் கொண்டுள்ளது. தர்க்கத்தின் முக்கிய அம்சங்களில் கற்பனையான மற்றும் உறுதியான புதுப்பிப்புகள், பரிவர்த்தனை நிறைவேற்றத்தில் மாறும் கட்டுப்பாடுகள், உறுதியற்ற தன்மை மற்றும் மொத்த புதுப்பிப்புகள் ஆகியவை அடங்கும். இந்த வழியில், பரிவர்த்தனை லாஜிக் செயற்கை நுண்ணறிவில் நடைமுறை அறிவு, செயலில் உள்ள தரவுத்தளங்கள் மற்றும் பொருள் தரவுத்தளங்களில் பக்க விளைவுகளுடன் கூடிய முறைகள் உள்ளிட்ட பல தர்க்கரீதியான அல்லாத நிகழ்வுகளை வெளிப்படையாகப் பிடிக்க முடியும். பரிவர்த்தனை தர்க்கம் முதலில் அந்தோனி போன்னர் மற்றும் மைக்கேல் கிஃபர் ஆகியோரால் முன்மொழியப்பட்டது, பின்னர் மேலும் விரிவாக விவரிக்கப்பட்டது. மிகவும் விரிவான விளக்கம் இதில் தோன்றுகிறது. பிந்தைய ஆண்டுகளில், பரிவர்த்தனை தர்க்கம் பல்வேறு வழிகளில் விரிவுபடுத்தப்பட்டது, இதில் ஒத்திசைவு, தோல்வியுற்ற பகுத்தறிவு, ஓரளவு வரையறுக்கப்பட்ட செயல்கள் மற்றும் பிற அம்சங்கள் அடங்கும். 2013 ஆம் ஆண்டில், பரிவர்த்தனை தர்க்கம் குறித்த அசல் கட்டுரை முந்தைய 20 ஆண்டுகளில் ஐசிஎல்பி 1993 மாநாட்டின் நடவடிக்கைகளில் இருந்து மிகவும் செல்வாக்குமிக்க காகிதமாக லாஜிக் புரோகிராமிங் சங்கத்தின் 20 ஆண்டு டெஸ்ட் ஆஃப் டைம் விருதை வென்றுள்ளது. எடுத்துக்காட்டுகள் வரைபட நிறம் இங்கே பரிவர்த்தனை செருகலின் அடிப்படை புதுப்பிப்பு செயல்பாட்டைக் குறிக்கிறது. இந்த இணைப்பு தொடர் இணைப்பு என்று அழைக்கப்படுகிறது. வண்ண முனை <-//வண்ண ஒரு முனை சரியாக முனை (N) நிறம் (N, _) நிறம் (C) ¬ (அருகிலுள்ள (N, N2) Â நிறம் (N2, C)) Â டின்சர்ட் (வண்ண (N, C)). வண்ண வரைபடம் <-̃ வண்ணமயமாக்கப்படாதNodesLeft. colorGraph <-colorNode χ colorGraph. பிரமிடு அடுக்குதல் அடிப்படை புதுப்பிப்பு பரிவர்த்தனை நீக்க செயல்பாட்டைக் குறிக்கிறது. அடுக்கு (N, X) <-N> 0 நகர்த்தல் (Y, X) அடுக்கு (N-1, Y). அடுக்கு (0, X). நகர்த்தவும் (எக்ஸ், ஒய்) <-பிக்அப் (எக்ஸ்) புட் டவுன் (எக்ஸ், ஒய்). பிக்அப் (X) <-க்ளீயர் (X) χ ஆன் (X, Y) χ டெலிட் (ஆன் (X, Y)) χ டின்சர்ட் (க்ளீயர் (Y)). புட் டவுன் (எக்ஸ், ஒய்) <-அகலமான (ஒய், எக்ஸ்) க்ளீயர் (ஒய்) க்ளீயர் (ஒய்) டின்சர்ட் (ஒன் (எக்ஸ், ஒய்)) க்ளீயர் (ஒய்). கற்பனையான செயல்பாடு இங்கே சாத்தியக்கூறுகளின் மாதிரி ஆபரேட்டர்ஃ இரண்டும் சாத்தியமானால், செயல்படுத்தவும். இல்லையெனில், சாத்தியமானால் மட்டுமே, அதை செயல்படுத்துங்கள். செயல்படுத்தவும் <-<> செயல்1 <> நடவடிக்கை2 செயல்1. <-â <> செயல்1Â <> நடவடிக்கை2Â நடவடிக்கை2ஐ இயக்கவும். சாப்பாட்டு தத்துவஞானிகள் இங்கு ஒருங்கிணைந்த பரிவர்த்தனை தர்க்கத்தின் இணையான இணைப்பின் தர்க்கரீதியான இணைப்பு. தத்துவஞானிகள் <-phil (1) | phil (2) | phil (3) | phil (4). செயலாக்கங்கள் பரிவர்த்தனை தர்க்கத்தின் பல செயலாக்கங்கள் உள்ளனஃ அசல் செயல்படுத்தல். ஒருங்கிணைந்த பரிவர்த்தனை தர்க்கத்தை செயல்படுத்துதல். பரிவர்த்தனை தர்க்கம் அட்டவணைப்படுத்தல் மூலம் மேம்படுத்தப்பட்டது. ஃப்ளோரா-2 அறிவு பிரதிநிதித்துவம் மற்றும் பகுத்தறிவு முறையின் ஒரு பகுதியாக பரிவர்த்தனை தர்க்கத்தை செயல்படுத்துவதும் இணைக்கப்பட்டுள்ளது. இந்த செயல்பாடுகள் அனைத்தும் திறந்த மூலமாகும். குறிப்புகள் வெளிப்புற இணைப்புகள் ஃப்ளோரா-2 வலைத்தளம், பரிவர்த்தனை லாஜிக் லாஜிக் நிரலாக்க மொழிகள் குறித்த கூடுதல் ஆவணங்களைக் கொண்டுள்ளது அறிவிப்பு நிரலாக்க மொழிகள் அறிவு பிரதிநிதித்துவம்