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