لغة برمجة من الجيل الخامس

لغة البرمجة من الجيل الخامس ( 5GL ) هي لغة برمجة عالية المستوى تعتمد على حل المشكلات باستخدام قيود محددة للبرنامج، بدلاً من استخدام خوارزمية يكتبها المبرمج. ^{[ 1 ]} معظم لغات البرمجة القائمة على القيود ولغات البرمجة المنطقية وبعض اللغات التصريحية الأخرى هي لغات من الجيل الخامس.

بينما صُممت لغات البرمجة من الجيل الرابع لبناء برامج محددة، صُممت لغات الجيل الخامس لتمكين الحاسوب من حل مشكلة معينة دون تدخل المبرمج. وبهذه الطريقة، لا يحتاج المستخدم إلا إلى تحديد المشكلات التي يجب حلها والشروط الواجب توافرها، دون الحاجة إلى التفكير في كيفية تنفيذ روتين أو خوارزمية لحلها. تُستخدم لغات الجيل الخامس بشكل رئيسي في أبحاث الذكاء الاصطناعي . تُعد OPS5 و Mercury مثالين على لغات الجيل الخامس، ^{[ 2 ]} وكذلك ICAD ، التي بُنيت على لغة Lisp . أما KL-ONE فهي مثال على فكرة مشابهة، وهي لغة الإطار .

في ثمانينيات القرن العشرين، اعتُبرت لغات الجيل الخامس مستقبل البرمجة، وتوقع البعض أنها ستحل محل البرمجة الإجرائية بالبرمجة القائمة على القيود لجميع المهام التي يمكن صياغتها كسلسلة من القيود المنطقية. ^{[ 3 ]} والجدير بالذكر أن اليابان ، في الفترة من 1982 إلى 1993، ^{[ 4 ] [ 5 ]} استثمرت مبالغ طائلة في البحث والتطوير لمشروع أنظمة حاسوب الجيل الخامس ، على أمل تصميم شبكة حاسوبية ضخمة باستخدام هذه الأدوات.

مع ذلك، ومع تطوير برامج أكبر، برزت عيوب هذا النهج بشكل أوضح. فقد تبيّن أنه في ظل مجموعة من القيود التي تحدد مشكلة معينة، فإن استنباط خوارزمية فعّالة لحلها يُعدّ بحد ذاته مشكلة بالغة الصعوبة. ولا يمكن أتمتة هذه الخطوة الحاسمة حتى الآن.ولا يزال الأمر يتطلب رؤية مبرمج بشري.

من المعروف أن بعض البائعين يسوّقون لغاتهم البرمجية أحيانًا على أنها لغات من الجيل الخامس (5GL). في أغلب الأحيان، يبيعون في الواقع لغات من الجيل الرابع (4GL) مع مستوى أعلى من الأتمتة وقاعدة معرفية أوسع. ولأن الضجة التي أثيرت في ثمانينيات القرن الماضي قد خفتت، وتوقفت جميع المشاريع في نهاية المطاف، انخفض الوعي بلغات الجيل الخامس (5GL) أيضًا؛ مما أتاح للبائعين فرصة إعادة استخدام المصطلح في تسويق أدواتهم الجديدة، دون إثارة جدل كبير بين الأجيال الحالية من المبرمجين. ^{[ 6 ]}

• البرمجة المقيدة
• قائمة لغات البرمجة للذكاء الاصطناعي
• نموذج البرمجة