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

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

 তথ্যসূত্র 

বিষয়শ্রেণী:প্রোগ্রামিং ঘরানা
বিষয়শ্রেণী:যুক্তিবিজ্ঞান
বিষয়শ্রেণী:১৯৭২-এ কম্পিউটার-সম্পর্কিত প্রবর্তন