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

উইকিপিডিয়া, মুক্ত বিশ্বকোষ থেকে

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