Prolog (البرمجة في المنطق) هي لغة برمجة تعتمد على المنطق وكانت موجودة منذ السبعينيات. يتم استخدامه لتطوير التطبيقات المتعلقة بالذكاء الاصطناعي وقواعد البيانات ومعالجة اللغات الطبيعية والأنظمة المتخصصة والمزيد. تم إنشاء Prolog من قبل مجموعة من علماء الكمبيوتر بقيادة آلان كولميراور في جامعة إيكس مرسيليا في فرنسا.
الميزة الأساسية لـ Prolog هي استخدامه للمسندات والعمليات المنطقية لتطوير التطبيقات. المسندات هي مجموعة من البيانات التي تعبر عن العلاقات بين الكائنات، في حين تستخدم العمليات المنطقية لبناء العلاقات بين المسندات. يحتوي Prolog أيضًا على نموذج تنفيذ مُفسر، والذي يسمح بتطوير البرامج بسرعة وبمرونة أكبر من اللغات المجمعة.
نوع البيانات الأساسي لـ Prolog هو مصطلح، والذي يمكن أن يشير إلى متغير أو ثابت أو قائمة المصطلحات. وتستخدم المتغيرات بغرض التعميم على المصطلحات، بينما تستخدم الثوابت لتمثيل قيم محددة. هناك العديد من عوامل التشغيل وهياكل التحكم المضمنة، مثل if-then-else، وwhile-repeat، وfor-do.
Prolog هي لغة تعريفية، مما يعني أنها تهتم أكثر بحقائق وقواعد المشكلة بدلاً من الخطوات المحددة المستخدمة لحلها. وهذا يجعل Prolog مثاليًا لتمثيل المعرفة ومعالجتها. يستخدم Prolog أيضًا لنمذجة مهام حل المشكلات مثل التخطيط والجدولة ولعب الألعاب.
Prolog هي لغة شعبية، وقد تم استخدامها في مجموعة متنوعة من المشاريع في الصناعة والأوساط الأكاديمية. ويمكن العثور عليها في تطبيقات الأنظمة المتخصصة، وأنظمة استرجاع المعلومات، وواجهات اللغة الطبيعية، وتطبيقات قواعد البيانات، والمزيد. يستخدم Prolog أيضًا في أبحاث الروبوتات ومحاكاة الحياة الاصطناعية.
