اختصار: Programming in Logic. لغة مصممة للتعامل مع المنطق. بدأت في أوروبا في أوائل السبعينات (في فرنسا واسكتلندة). وأول برنامج برولوج طوره Philippe Roussel  في جامعة مرسيل. وبعدها استخدمت بتوسع في الذكاء الاصطناعي artificial intelligence. وهي تتعامل مع العلاقات المنطقية بين البيانات أكثر من التعامل مع الرياضيات.