Matching logic
ম্যাচিং লজিক হল একটি আনুষ্ঠানিক যুক্তি যা মূলত কম্পিউটার প্রোগ্রামগুলির সঠিকতা সম্পর্কে যুক্তি করতে ব্যবহৃত হয়। এর অপারেটররা অবস্থার সেটের পরিবর্তে অবস্থার পাওয়ার সেটে কাজ করার জন্য প্যাটার্ন ম্যাচিং ব্যবহার করে। এটি গ্রিগোর রোসু দ্বারা তৈরি করা হয়েছিল এবং কে ফ্রেমওয়ার্কে ব্যবহৃত হয়। ওভারভিউ ম্যাচিং লজিক প্যাটার্নের উপর কাজ করে। বিবৃতিগুলি মূল্যবোধের সেটের সাথে মূল্যায়ন করে যা তাদের সাথে "মেলে", সত্য বা মিথ্যা নয়। স্বাক্ষরের একটি সেট দেওয়া হলে, একটি প্যাটার্ন হতে পারেঃ একটি পরিবর্তনশীলঃ অন্যান্য প্যাটার্ন ব্যবহার করে স্বাক্ষর অনুসরণকারী একটি কাঠামোঃ অন্য প্যাটার্নের পরিপূরকঃ দুটি প্যাটার্নের ছেদঃ একটি বাঁধাইঃ একটি মিলযুক্ত যুক্তির সাথেও ধরণের একটি সেট থাকতে পারে। সেক্ষেত্রে, প্রতিটি প্যাটার্ন একটি নির্দিষ্ট ধরণের অন্তর্গত। বিভিন্ন ধরনের নিদর্শনকে একত্রিত করতে কাঠামো ব্যবহার করা যেতে পারে। প্রোগ্রাম শব্দার্থবিজ্ঞানের সাথে কাজ করার সময় ব্যবহৃত ধরণের কিছু উদাহরণ হতে পারে "32-বিট পূর্ণসংখ্যা মান", "স্ট্যাক ফ্রেম" বা "হিপ মেমরি"। কিছু উদ্ভূত ধারণাকে এভাবে সংজ্ঞায়িত করা হয়ঃ সমস্ত উপাদানের সাথে মিলে যায়। কোনওটির সাথে মেলে না। "এই ধরনের অ-ধ্রুপদী যুক্তি দিয়ে যুক্তি করার সময় সতর্ক হওয়া উচিত, কারণ মৌলিক অন্তর্দৃষ্টি প্রতারণা করতে পারে।" মিলে যাওয়া যুক্তি ব্যাখ্যা করার সময় (অর্থাৎ, এর শব্দার্থিক অর্থ সংজ্ঞায়িত করা), একটি প্যাটার্ন একটি পাওয়ার সেট দিয়ে মডেল করা হয়। বিবৃতির ব্যাখ্যা হল মানগুলির সেট যা প্যাটার্নের সাথে মেলে। মাইক্রো-লজিক ম্যাচিং-লজিক একটি ফিক্সড-পয়েন্ট অপারেটর যোগ করে। অ্যাপ্লিকেশন ম্যাচিং লজিক কে ফ্রেমওয়ার্ক দ্বারা পৌঁছানোর যুক্তির সাথে একটি কার্যকরী শব্দার্থ নির্দিষ্ট করতে এবং তাদের থেকে একটি হোয়ার লজিক তৈরি করতে ব্যবহৃত হয়। মিলনের যুক্তিকে সমতার সাথে প্রথম-ক্রমের যুক্তিতে রূপান্তরিত করা যেতে পারে, যা কে ফ্রেমওয়ার্ককে উপপাদ্যের প্রমাণ খুঁজে পেতে বিদ্যমান এসএমটি-সমাধানকারী ব্যবহার করার অনুমতি দেয়। আরও দেখুন সেপারেশন লজিক হোয়ার লজিক রেগুলার এক্সপ্রেশন, যা স্ট্রিংয়ের সেটের সাথে মেলে রেফারেন্স লজিক