Transaction logic
ٹرانزیکشن لاجک پیش گوئی منطق کی ایک توسیع ہے جو منطق پروگراموں اور ڈیٹا بیس میں ریاستی تبدیلیوں کے رجحان کے لیے صاف اور اعلانیہ انداز میں شمار ہوتی ہے۔ یہ توسیع خاص طور پر پیچیدہ لین دین میں سادہ اعمال کو یکجا کرنے اور ان کے نفاذ پر کنٹرول فراہم کرنے کے لیے بنائے گئے رابطوں کو شامل کرتی ہے۔ منطق میں ایک قدرتی نمونہ نظریہ اور ایک صوتی اور مکمل ثبوت نظریہ ہے۔ ٹرانزیکشن لاجک میں ہارن شق کا ذیلی سیٹ ہوتا ہے، جس میں طریقہ کار کے ساتھ ساتھ اعلانیہ الفاظ بھی ہوتے ہیں۔ منطق کی اہم خصوصیات میں فرضی اور پرعزم اپ ڈیٹس، لین دین پر عمل درآمد پر متحرک رکاوٹیں، غیر عزم، اور بلک اپ ڈیٹس شامل ہیں۔ اس طرح، ٹرانزیکشن لاجک متعدد غیر منطقی مظاہر کو اعلانیہ طور پر حاصل کرنے کے قابل ہے، بشمول مصنوعی ذہانت میں طریقہ کار کا علم، فعال ڈیٹا بیس، اور آبجیکٹ ڈیٹا بیس میں ضمنی اثرات کے ساتھ طریقے۔ ٹرانزیکشن لاجک کو اصل میں انتھونی بونر اور مائیکل کیفر نے تجویز کیا تھا اور بعد میں اور میں مزید تفصیل سے بیان کیا گیا تھا۔ سب سے زیادہ جامع وضاحت میں ظاہر ہوتا ہے۔ بعد کے سالوں میں، ٹرانزیکشن لاجک کو مختلف طریقوں سے بڑھایا گیا، بشمول ہم آہنگی، ناقابل شکست استدلال، جزوی طور پر بیان کردہ اعمال، اور دیگر خصوصیات۔ 2013 میں ٹرانزیکشن لاجک پر اصل مقالے نے پچھلے 20 سالوں میں آئی سی ایل پی 1993 کانفرنس کی کارروائی سے سب سے زیادہ بااثر مقالے کے طور پر ایسوسی ایشن فار لاجک پروگرامنگ کا 20 سالہ ٹیسٹ آف ٹائم ایوارڈ جیتا ہے۔ گراف کلرنگ کی مثالیں یہاں ٹرانزیکشنل انسرٹ کے ابتدائی اپ ڈیٹ آپریشن کی نشاندہی کرتا ہے۔ کنیکٹو کو سیریل کنجکشن کہا جاتا ہے۔ کلر نوڈ <-//رنگین ایک نوڈ صحیح طریقے سے نوڈ (این) کلر (این، _) کلر (سی) کلر (ملحقہ (این، این 2) کلر (این 2، سی)) ٹنسرٹ (رنگین (این، سی))۔ رنگین گراف <-¬ غیر رنگین نوڈس لیفٹ۔ رنگین گراف <-رنگین نوڈ کلر گراف۔ پرامڈ اسٹیکنگ ابتدائی اپ ڈیٹ ٹرانزیکشنل ڈیلیٹ آپریشن کی نمائندگی کرتا ہے۔ اسٹیک (N، X) <-N> 0 منتقل (Y، X) اسٹیک (N-1، Y)۔ اسٹیک (0، X)۔ منتقل کریں (X، Y) <-پک اپ (X) χ پٹ ڈاؤن (X، Y)۔ پک اپ (X) <-کلیئر (X) χ آن (X، Y) χ ٹی ڈیلیٹ (آن (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 ویب سائٹ، جس میں ٹرانزیکشن لاجک لاجک پروگرامنگ زبانوں پر اضافی مقالے شامل ہیں اعلانیہ پروگرامنگ زبانیں علم کی نمائندگی