مخفف عبارت Programming Logic، یک زبان برنامه نویسی سطح بالا مبتنی بر منطق رسمی است که Prolog نام دارد.
بر خلاف زبان های برنامه نویسی سنتی که مبتنی بر دنباله ای از دستورات هستند، Prolog بر اساس تعریف و سپس حل فرمول های منطقی است.
پرولگ گاهی اوقات یک زبان رسمی یا یک زبان مبتنی بر قانون نامیده می شود، زیرا برنامه های آن شامل یک لیست از حقایق و قوانین است.
Prolog به طور گسترده ای برای اپلیکیشن های هوش مصنوعی، به ویژه سیستم های متخصص استفاده می شود.
اپلیکیشن ها عبارتند از:
- یادگیری ماشینی
- برنامه ریزی ربات
- استدلال خودکار
- حل مشکل
- بازیابی پایگاه داده هوشمند
- فهم زبان طبیعی
- زبان مشخصات
این زبان در مارسل فرانسه در اوایل دهه 1970 توسط یک گروه تحت رهبری آیلین کلمرورر معرفی شد. اولین سیستم Prolog در سال 1972 توسط Colmerauer و Philippe Roussel توسعه داده شد و براساس تفسیر روش Robert Kowalski از کلاز های Horn بود.