معالجة اللغات الطبيعية
البرولوغ (Prolog) هي لغة برمجة منطقية. الاسم مأخوذ من الفرنسية "programmation en logique" (برمجة المنطق)، تم اختراع اللغة بواسطة ألين كولميرايور حوالي العام 1972. كانت محاولة لجعل لغة البرمجة قادرة على استخدام عبارات منطقية بدل أن تكون تعليمات محددة تلقن إلى الحاسوب. صممت اللغة أساسًا لتستخدم في عمل برامج معالجة اللغات الطبيعية.