প্রোগ্রামিং ভাষার প্রজন্মগুলিকে তাদের বিবর্তন এবং বিমূর্ততার (abstraction) স্তরের উপর ভিত্তি করে ভাগ করা হয়:

প্রথম প্রজন্ম (1GL): মেশিন ল্যাঙ্গুয়েজ (বাইনারি কোড)।

দ্বিতীয় প্রজন্ম (2GL): অ্যাসেম্বলি ল্যাঙ্গুয়েজ।

তৃতীয় প্রজন্ম (3GL): হাই-লেভেল ল্যাঙ্গুয়েজ যেমন COBOL, FORTRAN, Pascal, C, Java ইত্যাদি। এগুলি মানুষের ভাষার কাছাকাছি এবং নির্দিষ্ট সমস্যার সমাধানের জন্য কোড লিখতে ব্যবহৃত হয়।

চতুর্থ প্রজন্ম (4GL): এগুলি 3GL-এর চেয়ে উচ্চতর অ্যাবস্ট্রাকশন সরবরাহ করে এবং নির্দিষ্ট ডোমেইনের সমস্যা সমাধানের উপর ফোকাস করে, যেমন ডেটাবেস ক্যোয়ারি ল্যাঙ্গুয়েজ (SQL)।

পঞ্চম প্রজন্ম (5GL): এই ভাষার লক্ষ্য হল কম্পিউটারকে এমনভাবে সমস্যা সমাধান করতে দেওয়া যেখানে প্রোগ্রামারকে ধাপে ধাপে নির্দেশ দিতে হয় না। এগুলি সাধারণত কৃত্রিম বুদ্ধিমত্তা (AI), এক্সপার্ট সিস্টেম এবং নিউরাল নেটওয়ার্কের মতো ক্ষেত্রে ব্যবহৃত হয়। এই ভাষার ভিত্তি হল লজিক প্রোগ্রামিং (logic programming) এবং কনস্ট্রেন্ট প্রোগ্রামিং (constraint programming)।

Mercury: এটি একটি ডিক্লারেটিভ লজিক প্রোগ্রামিং ভাষা। এটি প্রলগ (Prolog) এর মতো পঞ্চম প্রজন্মের ভাষার বৈশিষ্ট্য বহন করে এবং মূলত কৃত্রিম বুদ্ধিমত্তা এবং ডেটাবেস সিস্টেমের মতো ক্ষেত্রে ব্যবহৃত হয়। এটি পঞ্চম প্রজন্মের ভাষার একটি উদাহরণ।