جدول المحتويات:
التعريف - ماذا يعني Prolog؟
Programmation en Logique (البرمجة في المنطق) أو Prolog هي لغة برمجة عالية المستوى لها جذورها في منطق الترتيب الأول أو حساب التفاضل والتكامل من الدرجة الأولى. تم تصميم هذه اللغة في مرسيليا بفرنسا في أوائل السبعينيات من قبل مجموعة بقيادة آلان كولميرور. انها واحدة من لغات البرمجة المنطقية الأولى وتظل شعبية اليوم. إنها لغة برمجة ترتبط عادةً باللغويات الحاسوبية والذكاء الاصطناعي وتستخدم في النظم الخبيرة ، وتثبت النظرية وتطابق الأنماط على أشجار تحليل اللغة الطبيعية ومعالجة اللغة الطبيعية.
يشرح Techopedia Prolog
تم تطوير أول نظام Prolog في عام 1972 بواسطة Colmerauer مع Philippe Roussel واستند إلى تفسير روبرت كوالسكي الإجرائي لجمل Horn. كما كان الدافع جزئياً هو الرغبة في التوفيق بين استخدام المنطق كلغة تمثيلية معرفة مع تمثيل إجرائي للمعرفة. تم تطوير Prolog عمدا لمعالجة اللغة الطبيعية - المعنية مع الكمبيوتر والتفاعلات البشرية (الطبيعية) اللغة.
يختلف Prolog عن لغات البرمجة الأخرى حيث إنه تعريفي بدلاً من تسلسل الأوامر. يُطلق عليها أحيانًا لغة قائمة على القواعد أو لغة تعريفية حيث يتم التعبير عنها من حيث العلاقات بين خصائص الكائنات ، ويتم تقديمها كحقائق وقواعد. يتم بدء عملية حساب عن طريق تشغيل استعلام عبر هذه العلاقات.
تشمل التطبيقات:
- التعلم الالي
- تخطيط الروبوت
- المنطق الآلي
- حل المشاكل
- استرجاع قاعدة البيانات الذكية
- فهم اللغة الطبيعية
- لغة المواصفات
