Artificial intelligence language Prolog

1. ‫برولوج‬ ‫لغة‬
Prolog Language

2. ‫االصطن‬ ‫الذكاء‬ ‫تطبيقات‬ ‫في‬ ‫المستخدمة‬ ‫اللغات‬ ‫أكثر‬ ‫من‬
‫هي‬ ‫اعي‬
‫برولوج‬ ‫لغة‬
Prolog
‫ليسب‬ ‫ولغة‬
Lisp
‫برولوج‬ ‫لغة‬
Prolog
‫وهي‬ ‫كولمر‬ ‫الين‬ ‫قبل‬ ‫من‬ ‫اختراعها‬ ‫تم‬
‫لـ‬ ‫اختصار‬
Programming in Logic
‫البرمجة‬ ‫في‬ ‫المنطقي‬ ‫األسلوب‬ ‫على‬ ‫اللغة‬ ‫هذه‬ ‫تعتمد‬
.
‫ب‬ ‫المنطقية‬ ‫العالقات‬ ‫على‬ ‫األساس‬ ‫في‬ ‫برولوج‬ ‫لغة‬ ‫تعتمد‬
‫ين‬
‫المعلومات‬ ‫بقاعدة‬ ‫يسمى‬ ‫ما‬ ‫إنشاء‬ ‫يتم‬ ‫حيث‬ ‫األشياء‬
Information Base
‫قواعد‬ ‫في‬ ‫عهدتاه‬ ‫عما‬ ‫مختلفة‬ ‫وهي‬
‫البيانات‬
Databases

3. ‫البرم‬ ‫لغات‬ ‫بقية‬ ‫عن‬ ‫بالكامل‬ ‫متغيرة‬ ‫برولوج‬ ‫لغة‬ ‫أيضا‬
‫فال‬ ‫جة‬
‫ع‬ ‫إثناء‬ ‫يتعلم‬ ‫البرنامج‬ ‫أن‬ ‫حين‬ ‫اكوادها‬ ‫عدد‬ ‫تحديد‬ ‫يمكن‬
‫مل‬
Run
‫ح‬ ‫ينقص‬ ‫أو‬ ‫يزيد‬ ‫قد‬ ‫السطور‬ ‫عدد‬ ‫فإن‬ ‫وبالتالي‬ ‫له‬
‫سب‬
‫المراحل‬ ‫هذه‬ ‫خالل‬ ‫البرنامج‬ ‫تعلمه‬ ‫ما‬
.

4. ‫برولوج‬ ‫بلغة‬ ‫بالكتابة‬ ‫البدء‬ ‫كيفية‬
:
‫فت‬ ‫ثم‬ ‫باللغة‬ ‫الخاص‬ ‫البرنامج‬ ‫تحميل‬ ‫هي‬ ‫األولى‬ ‫الخطوة‬
‫ملف‬ ‫ح‬
‫باختيار‬ ‫قم‬ ‫ذلك‬ ‫بعد‬ ، ‫بداخلة‬ ‫الكود‬ ‫وكتابة‬ ‫جديد‬
Listener
‫اختيار‬ ‫ثم‬ ‫األدوات‬ ‫قائمة‬ ‫من‬
Start
‫التنفيذ‬ ‫لبدء‬
.
‫إلى‬ ‫الذهاب‬ ‫يمكن‬ ‫ذلك‬ ‫بعد‬
Listener
‫ثم‬
Consult
‫اختيار‬ ‫ثم‬
‫االكواد‬ ‫فيه‬ ‫كتبت‬ ‫الذي‬ ‫الملف‬
.

5. ‫مثال‬
:
‫لغة‬ ‫مع‬ ‫للبداية‬ ‫بسيط‬ ‫برنامج‬
Prolog
human(ahmed).
car(toyota).
Human(ali).
human(khaled).
‫نوع‬ ‫من‬ ‫وتويوتا‬ ‫إنسان‬ ‫نوع‬ ‫من‬ ‫وخالد‬ ‫احمد‬ ‫أن‬ ‫هو‬ ‫والمعنى‬
‫سيارة‬
.
‫التالي‬ ‫باختيار‬ ‫قم‬ ‫السطور‬ ‫هذه‬ ‫كتابة‬ ‫بعد‬
:
Listener  Start
Listener  Consolt

6. ‫األسئلة‬ ‫هذه‬ ‫بكتابة‬ ‫ابدأ‬ ‫ثم‬
:
?- Human(X).
‫النوع‬ ‫من‬ ‫هم‬ ‫من‬ ‫جميع‬ ‫عن‬ ‫البرنامج‬ ‫بسؤال‬ ‫قمنا‬ ‫هنا‬
Human
‫المتغير‬ ‫في‬ ‫لتضعهم‬
X
‫هنا‬ ‫لكن‬ ، ‫لك‬ ‫بعرضهم‬ ‫سيقوم‬ ‫حيث‬
‫المتغير‬ ‫يكتب‬ ‫أن‬ ‫يجب‬
X
‫كبير‬ ‫كحرف‬
Capital
.
‫األخر‬ ‫بعد‬ ‫واحد‬ ‫بعرضهم‬ ‫سيقوم‬ ‫بالتالي‬
.
‫ولعرض‬ ‫األول‬ ‫االسم‬ ‫بعرض‬ ‫البرنامج‬ ‫سيقوم‬ ‫البداية‬ ‫في‬
‫بقية‬
‫المنقوطة‬ ‫الفاصلة‬ ‫على‬ ‫بالضغط‬ ‫نقوم‬ ‫أألسماء‬
;
‫عرض‬ ‫ولعدم‬
‫نضغط‬ ‫األسماء‬ ‫بقية‬
Enter

7. ‫منطقي‬ ‫إجابة‬ ‫منه‬ ‫تتوقع‬ ‫الذي‬ ‫هو‬ ‫األسئلة‬ ‫من‬ ‫الثاني‬ ‫النوع‬
‫مثل‬ ، ‫ة‬
‫السؤال‬ ‫هذا‬
:
?- Human(Ahmed).
‫عليك‬ ‫وسيرد‬
(
‫نعم‬
)
‫السؤال‬ ‫هذا‬ ‫أدخلت‬ ‫لو‬ ‫أما‬
:
?- Human(maged).
‫س‬ ‫لذا‬ ، ‫المعلومات‬ ‫قاعدة‬ ‫في‬ ‫له‬ ‫بإدخاله‬ ‫نقم‬ ‫لم‬ ‫البيان‬ ‫فهذا‬
‫تكون‬
‫بالنفي‬ ‫اإلجابة‬
.

8. ‫العالقات‬ ‫تركيب‬
:
‫م‬ ‫مباشرة‬ ‫بيانات‬ ‫على‬ ‫إجابات‬ ‫األسئلة‬ ‫كانت‬ ‫السابقة‬ ‫األجزاء‬ ‫في‬
‫في‬ ‫وجودة‬
‫المت‬ ‫بالعالقات‬ ‫الخاص‬ ‫هو‬ ‫األقوى‬ ‫الجزء‬ ‫ولكن‬ ، ‫المعلومات‬ ‫قاعدة‬
‫عددة‬
‫بعالقة‬ ‫بدأنا‬ ‫لو‬ ً‫ال‬‫فمث‬ ،
:
‫محمد‬ ‫أبو‬ ‫أحمد‬
father(ahmed,mohammed)
‫أيضا‬ ‫علي‬ ‫أبو‬ ‫أحمد‬ ‫أن‬ ‫تعريف‬ ‫نستطيع‬
:
father(ahmed,ali)
‫التال‬ ‫الجملة‬ ‫سنضع‬ ، ‫أحمد‬ ‫أبناء‬ ‫عن‬ ‫باالستعالم‬ ‫نبدأ‬ ‫عندما‬ ‫وهكذا‬
‫في‬ ‫ية‬
‫السؤال‬
:
?- father(ahmed,U)
‫للثابت‬ ‫األبناء‬ ‫جميع‬ ‫فسيعطينا‬
(
‫أحمد‬
)
‫كاب‬ ‫حرف‬ ‫أي‬ ‫أن‬ ‫تنس‬ ‫ال‬ ،
‫يعتبر‬ ‫تيل‬
‫البرلوج‬ ‫في‬ ‫متغير‬
.

9. ‫القواعد‬
Rules
‫ست‬ ‫التي‬ ‫وهي‬ ، ‫القواعد‬ ‫تعريف‬ ‫وهي‬ ‫إليها‬ ‫الوصول‬ ‫نريد‬ ‫التي‬ ‫النقطة‬ ‫هي‬ ‫هذه‬
‫لنا‬ ‫حقق‬
‫ي‬ ‫البرنامج‬ ‫كان‬ ‫سبق‬ ‫ما‬ ‫جميع‬ ‫في‬ ‫أنه‬ ‫حيث‬ ‫البرمجة‬ ‫هذه‬ ‫في‬ ‫المرجوة‬ ‫الفائدة‬
‫جيب‬
‫عل‬ ‫بناء‬ ‫اإلجابة‬ ‫على‬ ً‫ا‬‫قادر‬ ‫فسيكون‬ ‫اآلن‬ ‫أما‬ ، ‫أدخلناها‬ ‫التي‬ ‫البيانات‬ ‫من‬
‫ى‬
‫في‬ ‫البشري‬ ‫العقل‬ ‫يفعله‬ ‫ما‬ ‫وهو‬ ، ‫القواعد‬ ‫من‬ ‫ومجموعة‬ ‫المعلومات‬ ‫من‬ ‫مجموعة‬
‫مثل‬ ‫األمثلة‬ ‫بأبسط‬ ‫ولنبدأ‬ ، ‫اإلجابة‬ ‫في‬ ‫التفكير‬ ‫حالة‬
(
‫ل‬ ‫السيارات‬ ‫كل‬
، ‫باب‬ ‫ديها‬
‫باب‬ ‫لها‬ ‫الطيارات‬ ‫وكل‬
)
car(X) :- gotadoor(X).
airplane(X) :- gotadoor(X).
‫والطائرات‬ ‫السيارات‬ ‫من‬ ‫مجموعة‬ ‫عرفنا‬ ‫ثم‬
:
car(toyota)
car(hundai)
car(suzuki)
airplane(airbus)

10. ‫للسيارة‬ ‫كان‬ ‫إذا‬ ‫عما‬ ‫البرنامج‬ ‫سؤال‬ ً‫ا‬‫الحق‬ ‫يمكننا‬
hundai
‫باب‬
‫أن‬ ‫صراحة‬ ‫نذكر‬ ‫لم‬ ‫أننا‬ ‫ومع‬ ،
gotadoor(hundai)
‫الـ‬ ‫أن‬ ‫استنتج‬ ‫البرنامج‬ ‫أن‬ ‫إال‬
hundai
‫إلنها‬ ً‫ا‬‫نظر‬ ‫باب‬ ‫لها‬
‫باب‬ ‫لها‬ ‫السيارات‬ ‫وكل‬ ، ‫سيارة‬
.

11. ‫مثال‬
:
‫لدينا‬ ‫ان‬ ‫لنفرض‬
‫الحقائق‬
‫التالية‬
:
man(ahmed).
man(mohamed).
man(salem).
woman(arwa).
woman(fatema).
‫ولدينا‬
‫العالقات‬
‫التالية‬
:
parent(ahmed,mohamed). % means ahmed is parent of
mohamed
parent(fatema,mohamed).
parent(adam,salem).
parent(arwa,salem).

12. ‫السابقة‬ ‫بالحقائق‬ ‫الخاصة‬ ‫القواعد‬ ‫بإضافة‬ ‫نقوم‬ ‫االن‬
.
‫السابق‬ ‫للحقائق‬ ‫بالنسبة‬ ، ‫للبرولوج‬ ‫الحقيقية‬ ‫القوة‬ ‫هي‬ ‫القواعد‬ ‫تعتبر‬
‫بتعريف‬ ‫تقوم‬ ‫ة‬
‫ووضوحا‬ ‫عامية‬ ‫اكثر‬ ‫بشكل‬ ‫العالقات‬
.
‫السابقة‬ ‫الحقائق‬ ‫على‬ ‫بناء‬ ‫ام‬ ‫وايهما‬ ‫اب‬ ‫ايهما‬ ‫بتوضح‬ ‫تقوم‬ ‫التالية‬ ‫القواعد‬
‫والتي‬
‫امرأة‬ ‫او‬ ‫رجل‬ ‫الشخص‬ ‫كون‬ ‫توضح‬
.
father(F,C):-man(F),parent(F,C).
mother(M,C):-woman(M),parent(M,C).

13. ‫مثل‬ ‫أسئلة‬ ‫البرنامج‬ ‫نسأل‬ ‫ان‬ ‫بإمكاننا‬ ‫اصبح‬ ‫األن‬
:
‫محمد؟‬ ‫أب‬ ‫هو‬ ‫من‬
?-father(X,mohamed).
‫من؟‬ ‫أم‬ ‫فاطمة‬ ‫أو‬ ‫فاطمة‬ ‫إبن‬ ‫هو‬ ‫من‬
?-mother(fatema,X).