যুক্তিভিত্তিক প্রোগ্রামিং

যুক্তিভিত্তিক প্রোগ্রামিং স্বয়ংক্রিয় উপপাদ্য প্রমাণের প্রক্রিয়া থেকে অবরোহী প্রণালীর ধারণা ধার করেছে। এই প্রোগ্রামিং ঘরানায় অবরোহী প্রণালীর প্রক্রিয়াকরণের সময় কিছু মান গণনা করা হয়। যুক্তিভিত্তিক প্রোগ্রামিং প্রথম-ক্রমের যুক্তিবিজ্ঞানের সিন্ট্যাক্স অনুসরণ করে। প্রথম-ক্রমের যুক্তিবিজ্ঞান প্রথম আলোচনা করেন উনিশ শতকের দ্বিতীয়ার্ধে গটলব ফ্রেগে এবং একে বর্তমানে ব্যবহৃত রূপ দেন জুসেপ্পে পেয়ানো এবং বার্ট্রান্ড রাসেল।

যুক্তিভিত্তিক প্রোগ্রামিং এর একটি ক্যাবিনেট প্লাটফর্ম। করোনা ভাইরাস মোকাবেলায় এই সুপার কম্পিউটারগুলো বিজ্ঞানীরা ব্যবহার করতে পারেন।

তথ্যসূত্র