Transaction logic
লেনদেন লজিক হল প্রেডিকেট লজিকের একটি সম্প্রসারণ যা লজিক প্রোগ্রাম এবং ডেটাবেসে অবস্থার পরিবর্তনের ঘটনার জন্য একটি পরিষ্কার এবং ঘোষণামূলক উপায়ে হিসাব করে। এই এক্সটেনশনটি জটিল লেনদেনে সহজ ক্রিয়াগুলির সংমিশ্রণ এবং তাদের সম্পাদনের উপর নিয়ন্ত্রণ প্রদানের জন্য বিশেষভাবে ডিজাইন করা সংযোগগুলি যুক্ত করে। যুক্তির একটি প্রাকৃতিক মডেল তত্ত্ব এবং একটি শব্দ এবং সম্পূর্ণ প্রমাণ তত্ত্ব রয়েছে। লেনদেনের যুক্তিতে একটি হর্ন ধারা উপসেট রয়েছে, যার একটি পদ্ধতিগত পাশাপাশি একটি ঘোষণাত্মক শব্দার্থ রয়েছে। যুক্তির গুরুত্বপূর্ণ বৈশিষ্ট্যগুলির মধ্যে রয়েছে অনুমানমূলক এবং প্রতিশ্রুতিবদ্ধ আপডেট, লেনদেন সম্পাদনের উপর গতিশীল সীমাবদ্ধতা, অ-সংকল্পবাদ এবং বাল্ক আপডেট। এইভাবে, লেনদেন লজিক কৃত্রিম বুদ্ধিমত্তার পদ্ধতিগত জ্ঞান, সক্রিয় ডাটাবেস এবং অবজেক্ট ডেটাবেসে পার্শ্ব প্রতিক্রিয়া সহ পদ্ধতি সহ বেশ কয়েকটি অ-যৌক্তিক ঘটনাকে ঘোষণাত্মকভাবে ক্যাপচার করতে সক্ষম। লেনদেনের যুক্তি মূলত অ্যান্টনি বনার এবং মাইকেল কিফার দ্বারা প্রস্তাবিত হয়েছিল এবং পরে এবং-এ আরও বিস্তারিতভাবে বর্ণনা করা হয়েছিল। সবচেয়ে বিস্তৃত বিবরণ প্রদর্শিত হয়। পরবর্তী বছরগুলিতে, লেনদেনের যুক্তি বিভিন্ন উপায়ে প্রসারিত করা হয়েছিল, যার মধ্যে সমান্তরালতা, ব্যর্থ যুক্তি, আংশিকভাবে সংজ্ঞায়িত ক্রিয়া এবং অন্যান্য বৈশিষ্ট্য রয়েছে। 2013 সালে, লেনদেন লজিকের মূল গবেষণাপত্রটি পূর্ববর্তী 20 বছরে আই. সি. এল. পি 1993 সম্মেলনের কার্যধারা থেকে সবচেয়ে প্রভাবশালী গবেষণাপত্র হিসাবে অ্যাসোসিয়েশন ফর লজিক প্রোগ্রামিংয়ের 20 বছরের টেস্ট অফ টাইম অ্যাওয়ার্ড জিতেছে। উদাহরণ গ্রাফ কালারিং এখানে লেনদেনের সন্নিবেশের প্রাথমিক আপডেট অপারেশনকে বোঝায়। সংযোগকারীকে ক্রমিক সংযোগ বলা হয়। কালার নোড <-//কালার ওয়ান নোড সঠিকভাবে নোড (এন) কালার (এন, _) কালার (সি) কালার (সংলগ্ন (এন, এন2) কালার (এন2, সি)) টিনসার্ট (রঙিন (এন, সি))। কালারগ্রাফ <-¬অনকলর্ডনোডসলেফ্ট। কালারগ্রাফ <-কালারনোড কালারগ্রাফ। পিরামিড স্ট্যাকিং প্রাথমিক আপডেটটি লেনদেনের মুছে ফেলার ক্রিয়াকলাপকে উপস্থাপন করে। স্ট্যাক (এন, এক্স) <-এন> 0 স্থানান্তর (ওয়াই, এক্স) স্ট্যাক (এন-1, ওয়াই)। স্ট্যাক (0, X)। সরান (এক্স, ওয়াই) <-পিকআপ (এক্স) পুটডাউন (এক্স, ওয়াই)। পিকআপ (এক্স) <-ক্লিয়ার (এক্স) χ অন (এক্স, ওয়াই) χ ডিলিট (অন (এক্স, ওয়াই)) χ টিনসার্ট (ক্লিয়ার (ওয়াই))। পুটডাউন (এক্স, ওয়াই) <-প্রশস্ত (ওয়াই, এক্স) ক্লিয়ার (ওয়াই) টিনসার্ট ((এক্স, ওয়াই)-এ) ক্লিয়ার (ওয়াই)। হাইপোথেটিক্যাল এক্সিকিউশন এখানে সম্ভাবনার মডেল অপারেটরঃ যদি উভয়ই সম্ভব হয়, তাহলে এক্সিকিউট করুন। অন্যথায়, যদি কেবল সম্ভব হয় তবে এটি কার্যকর করুন। এক্সিকিউট করুন <-<> ক্রিয়া1 <> ক্রিয়া2 ক্রিয়া1। এক্সিকিউট <-â <> অ্যাকশন1Â <> অ্যাকশন2Â অ্যাকশন2। ডাইনিং দার্শনিকরা এখানে সমবর্তী লেনদেন যুক্তির সমান্তরাল সংযোগের যৌক্তিক সংযোগ। ডাইনিং দার্শনিকরা <-phil (1)। phil (2)। phil (3)। phil (4)। বাস্তবায়ন লেনদেন যুক্তির বেশ কয়েকটি বাস্তবায়ন রয়েছেঃ মূল বাস্তবায়ন। সমবর্তী লেনদেনের যুক্তির বাস্তবায়ন। ট্যাবলিং-এর মাধ্যমে লেনদেনের লজিক উন্নত করা হয়েছে। ফ্লোরা-2 জ্ঞান উপস্থাপনা এবং যুক্তি ব্যবস্থার অংশ হিসাবে লেনদেন যুক্তির বাস্তবায়নও অন্তর্ভুক্ত করা হয়েছে। এই সমস্ত বাস্তবায়ন উন্মুক্ত উৎস। তথ্যসূত্র বাইরের লিঙ্ক ফ্লোরা-2 ওয়েব সাইট, লেনদেনের লজিক লজিক প্রোগ্রামিং ভাষার উপর অতিরিক্ত কাগজপত্র সহ ঘোষণাত্মক প্রোগ্রামিং ভাষা জ্ঞান উপস্থাপনা