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