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