البرولوج Prolog هى لغة بيانية تعبر عن البرامج من خلال العلاقات ، ويحدث التنفيذ ' عن طريق تشغيل الاستفسارات queries حول هذه العلاقات. للبرولوج فائدة خاصة في التفكير المنطقى الرمزي ،و تطبيقات قواعد البيانات و التحليل. يستخدم البرولوج على نطاق واسع في الذكاء الاصطناعى اليوم.
