پرولوگ یک زبان برنامهنویسی منطقی چند منظوره مبتنی بر مفاهیم هوش مصنوعی و زبانشناسی محاسباتی است. این زبان بر پایه منطق ریاضی بنا نهاده شده و میتوان گفت نسبت سایر زبانهای برنامه نویسی متفاوت است. بهمین خاطر این زبان را به عنوان زبان کاملا منطقی میشناسند و حتی به آن پرلوگ خالص نیز اطلاق میشود.
این زبان، ریشه خود را بر خلاف بسیاری از زبانهای برنامه نویسی دیگر از منطق صوری گرفته است. پس منطق برنامه را از لحاظ روابط بیان کرده است و اجرای آنها بیشتر از طریق پرس و جوها حول این روابط موجب شده میشود. باید توجه داشت که این پرس و جوها از داده های مجزایی ساخته می شوند.
منطق گرا بودن این زبان، برای بکارگیری در بانکهای اطلاعاتی، ریاضیات نمادین، زبان تجزیه و برنامههای دیگر بسیار سودمند است.