ما هي لغة برولوغ Prolog

Programming in Logic، أو لغة برولوغ Prolog هي لغة من لغات البرمجة المنطقية المصنفة ضمن لغات البرمجة عالية المستوى. ويعود الفضل في ظهورها إلى آلان كولميرويه في فرنسا في بداية السبعينيات، وتعد واحدة من أهم لغات الذكاء الاصطناعي والنظم الخبيرة، ويكمن السر خلف الإتيان بهذه اللغة في محاولة مطورها الاستعانة بالعبارات المنطقة الصريحة لإلقاء الأوامر للحاسوب والقيام بتنفيذها. وتعد لغة تفاعلية بين الإنسان والحاسوب باعتبارها من اللغات الطبيعية.

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

من أبرز الخصائص التي تتسم بها لغة برولوغ Prolog وتنفرد بها عن غيرها من لغات البرمجة:

تتألف لغة برولوغ من أربعةِ أقسامٍ في بناء سطور الأوامر وهي المنطقية وغير المنطقية والتوحيد والتراجع، ويتم بتوافر هذه الوحدات الأربع تنفيذ المهام الضرورية، كما تتشابه هذه اللغة مع لغة SQL من حيث الأقسام الرئيسية لها وهي التعبير عن البيانات والاستعلام عنها.

يُصار إلى تخزين الحقائق والقوانين ضمن قواعد المعرفة ليتم تحويلها إلى نماذج ملائمة للاستعلام عنها، بحيث يتم إظهارها عند البدء بالبحثِ عن أمرٍ ما بواسطة لغة برولوغ Prolog، ولا بد من الإشارة إلى أنه في هذه اللغة يتم تخزين القيمة الأولى للمتغير والاحتفاظ بها وتجاهل القيم المدخلة لاحقًا لنفس المتغير، وذلك على عكس بقية لغات البرمجة وتحديدًا لغة روبي Ruby وجافا؛ حيث تحتفظ هاتان اللغتان بالقيمة الأخيرة التي يتم إدخالها للمتغير مع تجاهل وحذف القيمة السابقة، وعند إجراء البحث تظهر القيمة الأخير.