الحصة الأولى : مقدمة عن لغة البرولوج

لغة البرولوج ( PROLOG ) هي اختصار (programming in LOGIC ) أي البرمجة المنطقية .وصمم هذه اللغة أستاذ بجامعة مرسيليا بفرنسا يدعى ألن كولمرير (Alan Colmeraur) وظل استخدام لغة البرولوج محصورا في معامل أبحاث الذكاء الاصطناعي بقارة أوروبا حتى أكتوبر 1981 عندما أعلن اليابانيون أن لغة برولوج ستكون اللغة الرئيسية لحاسبات الجيل الخامس .

وإلى الآن لم تكتسب لغة البرولوج قبولا وانتشارا تجاريا واسعا في أمريكا , ويرجع ذلك لسببين : الأول هو صعوبة اتصالها باللغات التقليدية مثل لغة فورترون (FORTRAN ) , والثاني هو بطء برامج البرولوج في طور الإنتاج . وعلى الرغم من تغلب البرولوج السريع (turbo PROLOG) على مثل هذه المشاكل إلا انه حقق ذلك على حساب خصائص أخرى للبرولوج مثل التوحيد (Unification).

وتعتمد لغة البرولوج على مفهوم البرمجة المنطقية (Logic Programming ), والتي تتعامل مع جمل ( Statement) تحتوي على أشياء ( Objects ) والعلاقات ( Relationships )التي تربط بينها وبين الجملة:

.(Professor (Mohammad, Ali

في هذه الجملة تسمى كلمة (Professor) بالمسند أو المحمول ( Predicate) وتمثل العلاقة بين المعاملات (Mohammad) هو أستاذ (Ali).

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

والبرمجة بلغة البرولوج تنقسم إلى ثلاثة مراحل هي:

1- إعلان الحقائق عن الأشياء ( Objects )والعلاقات التي تربط بينها.

2- تعريف القواعد ( Rules ) التي تحكم كلا من الأشياء والعلاقات التي تربط بينها .

3- السؤال عن الأشياء والعلاقات التي تربطها.

والمرحلة الثالثة يمكن أن تأتي بعد المرحلة الأولي مباشرة حيث يمكن السؤال عن الأشياء دون تطبيق أي قواعد.

وهناك عدة إصدارات للغة البرولوج ولكن إصدار جامعة أد نبرة (Edenburgh University) يعتبر هو الإصدار القياسي وسوف يتم التعرف عليه في الأجزاء التالية .