ملاحظات عن كورس البرولوج

مقدمة

• السلام عليكم ورحمة الله
• استمرار الشرح في كورس البرولوج
• اليوم نكمل في الشابتر الأول: Introduction to Prolog

القواعد الأساسية

• Facts: حقائق أو معلومات ثابتة في البرنامج.
• Rules: تعتمد على حقائق أخرى، تحدد العلاقات بين الأغراض.
  • مثال: إذا كانت هناك علاقة بين X و Y، يجب التأكد من صحة العلاقة بين X و Z.

القواعد العودية (Recursive Rules)

• تعريف القاعدة العودية: قاعدة تعتمد على نفسها، حيث تشير إلى العلاقات السابقة.
• مثال: علاقة الوالدين (parent) قد تشير إلى أسلاف متعددة.

مثال توضيحي

• تعريف أسلاف شخص (مثل: أحمد):
  • أحمد هو والد محمد
  • محمد هو والد إبراهيم
  • إبراهيم هو والد محمود

تسلسل العلاقات

• عندما نسأل عن أسلاف أحمد، يجب على البرنامج تحديد من هم والدين كل شخص في السلسلة.
• مثال:
  • C والد D
  • B والد C
  • A والد B

تنفيذ البرنامج

• يجب كتابة القواعد بشكل صحيح لتجنب اللوب اللانهائي.
• القاعدة يجب أن تتأكد من وجود علاقة والد بين الأغراض المعنية.

أمثلة عملية

• إنشاء برنامج يحدد الإنجاب بين الأفراد.
• استفسارات مثل "من هم أسلاف أحمد؟" يجب أن تعود بمعلومات صحيحة.

خاصية Trace

• أداة لرؤية كيفية تنفيذ البرنامج ورؤية الخطوات التي يتخذها البرنامج لتحقيق النتيجة.

الفرق بين Declarative و Procedural

• Declarative: توصف اللغة البرمجية كأداة لوصف الحقائق.
• Procedural: كيفية تنفيذ البرنامج والحصول على النتائج.

خاتمة

• انتهينا من الشابتر الأول من كورس البرولوج.
• شجع الطلاب على تطبيق ما تعلموه في الفيديوهات العملية.
• التذكير بضرورة مراجعة المفاهيم المذكورة وفهم كيفية ارتباطها ببعضها.