Matching logic
ملاپ منطق ایک رسمی منطق ہے جو بنیادی طور پر کمپیوٹر پروگراموں کی درستگی کے بارے میں استدلال کرنے کے لیے استعمال ہوتی ہے۔ اس کے آپریٹرز ریاستوں کے سیٹ کے بجائے ریاستوں کے پاور سیٹ پر کام کرنے کے لیے پیٹرن میچنگ کا استعمال کرتے ہیں۔ اسے گریگور روسو نے بنایا تھا اور اسے کے فریم ورک میں استعمال کیا جاتا ہے۔ جائزہ مماثل منطق نمونوں پر کام کرتی ہے۔ بیانات کا اندازہ ان اقدار کے مجموعے سے ہوتا ہے جو ان سے "میل کھاتے ہیں"، نہ کہ صحیح یا غلط۔ دستخطوں کے ایک سیٹ کو دیکھتے ہوئے، ایک نمونہ یہ ہو سکتا ہے: ایک متغیر: دوسرے نمونوں کا استعمال کرتے ہوئے دستخط کے بعد ایک ڈھانچہ: دوسرے نمونے کی تکمیل: دو نمونوں کا چوراہا: ایک بائنڈنگ: ایک مماثل منطق کے ساتھ بھی اقسام کا ایک مجموعہ ہو سکتا ہے۔ اس صورت میں، ہر نمونہ ایک مخصوص قسم سے تعلق رکھتا ہے۔ ڈھانچے کو مختلف قسم کے نمونوں کو ایک ساتھ جوڑنے کے لیے استعمال کیا جا سکتا ہے۔ پروگرام سیمنٹکس کے ساتھ کام کرتے وقت استعمال ہونے والی اقسام کی کچھ مثالیں "32 بٹ انٹیجر ویلیوز"، "اسٹیک فریم"، یا "ہیپ میموری" ہو سکتی ہیں۔ کچھ اخذ شدہ تصورات کی تعریف اس طرح کی گئی ہے: تمام عناصر سے مماثل ہے۔ کسی سے مماثل نہیں ہے۔ "اس طرح کے غیر کلاسیکی منطق کے ساتھ استدلال کرتے وقت محتاط رہنا چاہیے، کیونکہ بنیادی وجدان دھوکہ دے سکتے ہیں۔" مماثل منطق کی تشریح کرتے وقت (یعنی اس کے بامعنی معنی کی وضاحت)، ایک پیٹرن کو پاور سیٹ کے ساتھ ماڈل کیا جاتا ہے۔ بیان کی تشریح اقدار کا مجموعہ ہے جو نمونے سے میل کھاتا ہے۔ میچنگ ایم یو-لاجک میچنگ-لاجک ایک فکسڈ پوائنٹ آپریٹر کا اضافہ کرتا ہے۔ ایپلی کیشنز میچنگ منطق کا استعمال K فریم ورک کے ذریعے رسایبلٹی منطق کے ساتھ آپریشنل سیمنٹکس کی وضاحت کرنے اور ان سے ہوئر منطق بنانے کے لیے کیا جاتا ہے۔ مماثل منطق کو مساوات کے ساتھ فرسٹ آرڈر منطق میں تبدیل کیا جا سکتا ہے، جو کے فریم ورک کو تھیوریمز کے ثبوت تلاش کرنے کے لیے موجودہ ایس ایم ٹی حل کرنے والوں کو استعمال کرنے کی اجازت دیتا ہے۔ علیحدگی منطق ہوئر منطق باقاعدہ اظہار بھی دیکھیں، جو سٹرنگ کے سیٹوں سے میل کھاتا ہے حوالہ جات منطق