لغة برمجة Prolog هي لغة برمجة منطقية عامة ترتبط بالذكاء الاصطناعي وعلم اللغة الحاسوبية. تتميز Prolog بجذورها في المنطق من الدرجة الأولى، حيث تعتبر لغة برمجة تصريحية بشكل أساسي، حيث يتم تعبير منطق البرنامج بشكل أساسي عن طريق العلاقات الممثلة على شكل حقائق وقواعد. تبدأ العملية الحسابية بتشغيل استعلام على هذه العلاقات.
تمتلك Prolog جذورها في فرنسا في بداية السبعينيات حيث قامت مجموعة حول Alain Colmerauer في مرسيليا، فرنسا، بتطوير أول نظام Prolog في عام 1972. تعتبر Prolog واحدة من أوائل لغات البرمجة المنطقية، وتظل الأكثر شيوعًا بين مثل هذه اللغات حتى اليوم، مع عدة تنفيذات مجانية وتجارية متاحة.
تم استخدام اللغة في العديد من المجالات بما في ذلك إثبات النظريات، وأنظمة الخبراء، وإعادة صياغة المصطلحات، والاستدلال على الأنواع، والتخطيط الآلي، فضلاً عن مجالها المخصص الأصلي، معالجة اللغة الطبيعية. تدعم بيئات Prolog الحديثة إنشاء واجهات مستخدم رسومية، فضلاً عن التطبيقات الإدارية والشبكية.
تتميز Prolog بكفاءتها في المهام الخاصة التي تستفيد من الاستعلامات المنطقية القائمة على القواعد مثل البحث في قواعد البيانات، وأنظمة التحكم الصوتية، وملء القوالب.
للمزيد من المعلومات، يمكنك زيارة صفحة ويكيبيديا الخاصة بـ Prolog.