عرض مصدر برولوغ

{{بطاقة لغة برمجة}}

'''البرولوغ''' (Prolog) هي لغة [[برمجة منطقية]].<ref>{{استشهاد بكتاب
|عنوان=Computational Logic: Logic Programming and Beyond
|الأول=Leon
|الأخير=Sterling
|سنة=2002
|المجلد=2407
|صفحات=17–26
|doi=10.1007/3-540-45628-7_15
|الفصل=Patterns for Prolog Programming
|سلسلة=Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
|isbn=978-3-540-43959-2
}}</ref><ref>{{استشهاد بكتاب  | الأخير1 = Clocksin | الأول1 = William F. | الأخير2 = Mellish | الأول2 = Christopher S. | عنوان = Programming in Prolog | سنة = 2003 | ناشر = Springer-Verlag | مكان = Berlin ; New York | isbn = 978-3-540-00678-7 | صفحات =  }}</ref><ref>[http://www.ai.sri.com/pubs/files/641.pdf "An abstract Prolog instruction set"]. Technical Note 309, [[معهد ستانفورد للأبحاث]], Menlo Park, CA, October 1983. {{Webarchive|url=https://web.archive.org/web/20160304210732/http://www.ai.sri.com/pubs/files/641.pdf |date=04 مارس 2016}}</ref> الاسم مأخوذ من [[اللغة الفرنسية|الفرنسية]] '''''pro'''grammation en '''log'''ique'' (برمجة المنطق)، تم اختراع اللغة بواسطة [[ألين كولميرايور]] حوالي العام [[1972]]. كانت محاولة لجعل [[لغة برمجة|لغة البرمجة]] قادرة على استخدام عبارات منطقية بدل أن تكون تعليمات محددة تلقن إلى [[حاسوب|الحاسوب]]. صممت اللغة أساسًا لتستخدم في عمل برامج [[معالجة اللغة الطبيعية|معالجة اللغات الطبيعية]].

تستخدم لغة البرولوغ في العديد من برامج [[ذكاء اصطناعي|الذكاء الاصطناعي]] وبرامج [[معالجة اللغة الطبيعية|معالجة اللغات الطبيعية]]. عبارات وقواعد اللغة تعتبر بسيطة جداً وواضحة (يتم كتابة البرنامج بالكامل باستخدام الحقائق والقواعد). العديد من الباحثين الذين يقودون تطبيقات حديثة للبرولوغ التي جاءت نتيجة استخدام نسخات مختلفة من البرولوغ كنواة في مشاريع [[أنظمة حاسوب الجيل الخامس]] (fifth generation computer systems اختصارًا FGCS).