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

1. PROLOG
‫أ‬/‫العربي‬ ‫إبراهيم‬
PROgramming in LOGic
Ibrahim.Elaraby@Outlook.Com

2. ‫مقدمة‬
•‫لغة‬‫البرولوج‬(PROLOG)‫هي‬‫اختصار‬(PROgramming in LOGic)
‫أي‬‫البرمجة‬‫المنطقية‬.‫وصمم‬‫هذه‬‫اللغة‬‫أستاذ‬‫بجامعة‬‫مرسيليا‬‫بفرنسا‬‫يدعى‬‫أل‬‫ن‬
‫كولمرير‬(Alan Colmeraur)‫وظل‬‫استخدام‬‫لغة‬‫البرولوج‬‫محصورا‬‫في‬‫معامل‬
‫أبحاث‬‫الذكاء‬‫االصطناعي‬‫بقارة‬‫أوروبا‬‫حتى‬‫أكتوبر‬1981
•‫وتعتمد‬‫لغة‬‫البرولوج‬‫على‬‫مفهوم‬‫البرمجة‬‫المنطقية‬(Logic Programming),
‫والتي‬‫تتعامل‬‫مع‬‫جمل‬(Statement)‫تحتوي‬‫على‬‫أشياء‬(Objects)
‫والعالقات‬(Relationships)‫التي‬‫تربط‬‫بينها‬‫وبين‬‫الجملة‬.

3. ‫مثال‬
‫في‬‫هذه‬‫الجملة‬‫تسمى‬‫كلمة‬(Professor)‫بالمسند‬(Predicate)‫وتمثل‬
‫العالقة‬‫بين‬‫المعامالت‬،‫حيث‬‫ان‬(Mohammad)‫هو‬‫أستاذ‬(Ali)
‫وعلى‬‫هذا‬‫فإن‬‫لغة‬‫البرولوج‬‫تسمح‬‫للمبرمج‬‫بتمثيل‬‫العالقات‬‫بين‬‫األشياء‬‫وتجميع‬
‫وتنظيم‬‫هذه‬‫العالقات‬‫حتى‬‫يمكن‬‫الوصول‬‫إلى‬‫استنتاج‬‫منطقي‬‫من‬‫الحقائق‬‫ا‬‫لتي‬
‫تمثلها‬‫تلك‬‫العالقات‬.‫وذلك‬‫على‬‫عكس‬‫اللغات‬‫التقليدية‬‫مثل‬‫الباسكال‬‫وسي‬‫التي‬
‫تطلب‬‫من‬‫المبرمج‬‫كتابة‬‫الخطوات‬‫التفصيلية‬‫التي‬‫يجب‬‫إتباعها‬.
Professor (Mohammad, Ali).

4. ‫برنامج‬‫البرولوج‬
‫يقوم‬‫برنامج‬‫البرولوج‬‫بإعطاء‬‫الحاسب‬‫وصف‬‫المشكلة‬‫بإستخدام‬‫عدد‬‫من‬‫الحقائق‬
"Facts"‫والقواعد‬"Rules"‫ثم‬‫يسأل‬‫الحاسب‬‫عن‬‫ايجاد‬‫كل‬‫الحلول‬‫المحتملة‬
‫للمشكلة‬.
‫ا‬ ‫وتنقسم‬‫هي‬ ‫مراحل‬ ‫ثالثة‬ ‫إلى‬ ‫البرولوج‬ ‫بلغة‬ ‫لبرمجة‬:
.1‫األشياء‬ ‫عن‬ ‫الحقائق‬ ‫إعالن‬(Objects)‫بينها‬ ‫تربط‬ ‫التي‬ ‫والعالقات‬.
.2‫القواعد‬ ‫تعريف‬(Rules)‫تحكم‬ ‫التي‬‫هذه‬‫تربط‬ ‫التي‬ ‫والعالقات‬ ‫األشياء‬‫بينها‬.
.3‫االستعالم‬‫تربطها‬ ‫التي‬ ‫والعالقات‬ ‫األشياء‬ ‫عن‬.
‫ملحوظه‬
‫يمكن‬‫أن‬‫تأتي‬‫المرحلة‬‫الثالثة‬‫بعد‬‫المرحلة‬‫األولي‬‫مباشرة‬‫حيث‬‫يمكن‬‫السؤال‬‫عن‬‫ا‬‫ألشياء‬
‫دون‬‫تطبيق‬‫أي‬‫قواعد‬.

5. ‫كيفية‬‫اإلعالن‬‫عن‬‫الحقائق‬‫والسؤال‬‫عنها‬:
‫اإلعالن‬‫عن‬‫الحقائق‬‫في‬‫برنامج‬‫البرولوج‬‫يجب‬‫أوال‬‫تحديد‬‫األش‬‫ياء‬
(Objects)‫والعالقات‬‫التي‬‫تمثل‬‫تلك‬‫الحقائق‬.‫فمثال‬‫إذا‬‫كانت‬‫هناك‬
‫حقيقة‬‫تقول‬.(Likes (ali , Mohamed‫فاألشياء‬‫في‬‫هذه‬
‫الحقيقة‬‫هي‬‫األسماء‬(Ali , Mohamed)‫أما‬‫العالقة‬‫بينهما‬‫فهي‬
(Likes)‫وتسمى‬‫بالمسند‬(Predicate)‫أي‬‫الصفة‬‫التي‬‫تتعلق‬
‫بشيء‬‫ما‬‫أو‬‫العالقة‬‫التي‬‫تربط‬‫بين‬‫شيئين‬‫أو‬‫اكثر‬.‫ولتمثي‬‫ل‬‫هذه‬
‫الحقيقة‬‫في‬‫برنامج‬‫البرولوج‬‫تكتب‬‫كاآلتي‬:
likes ( ali , mohamed(.

6. •‫يتم‬‫كتابة‬‫أسماء‬‫األشياء‬‫والعالقات‬‫بالحروف‬‫الصغيرة‬(Small Letters)‫وذلك‬‫ألن‬‫األسماء‬‫التي‬
‫تبدأ‬‫بالحروف‬‫الكبيرة‬(Capital Letters)‫أو‬‫بالحرف‬(Underscore (_))‫يعتبرها‬
‫البرولوج‬‫متغيرات‬(Variable).‫وتختلف‬‫الحقيقة‬‫باختالف‬‫ترتيب‬‫أسماء‬‫األشياء‬‫بمعنى‬‫أن‬
likes ( ali , mohamed).‫تختلف‬‫عن‬likes (mohamed, ali).‫وينتهي‬‫اإلعالن‬
‫عن‬‫الحقيقة‬‫بوضع‬‫نقطة‬(.)‫في‬‫آخرها‬.
•‫ويطلق‬‫على‬‫التعبير‬likes ( ali , mohamed).‫في‬‫لغة‬‫البرولوج‬‫لفظ‬‫العبارة‬(Clause)
‫ويمكن‬‫ترجمة‬‫اللغة‬‫المكتوبة‬‫بإحدى‬‫اللغات‬‫الطبيعية‬(‫اإلنجليزية‬‫أو‬‫العربية‬)‫إلى‬‫عبارة‬‫أو‬‫اكثر‬‫من‬
‫عبارات‬‫البرولوج‬.‫ويتم‬‫ذلك‬‫بتحديد‬‫األشياء‬‫التي‬‫يدور‬‫حولها‬‫موضوع‬‫الجملة‬‫وتحديد‬‫الصف‬‫ات‬‫أو‬
‫العالقات‬‫التي‬‫تميزها‬,‫أو‬‫محمول‬‫الجملة‬.

7. EXAMPLE 1
prof (mohamed,ali).
Queries :-
1- ? prof (M,N).
2- ? prof (_,M).
3- ? prof (M,_).
4- ? prof (mohamed,ali).

8. Start – All Program – Accessories - Notepad
‫الـ‬ ‫برنامج‬ ‫فتح‬NOTEPAD

9. ‫الـ‬ ‫برنامج‬ ‫فتح‬PROLOG
Start – All Programs – SWI-Prolog

10. ‫المطلوبه‬ ‫االستعالمات‬ ‫إجراء‬ ‫يتم‬

11. •likes(ali,mohamad(.
•likes(ali,ahmad(.
•likes(ali,omar(.
•likes(ali,adel(.
•likes(ahmad,mohamad).
EXAMPLE 2

12. Queries :-
1-? likes(M,N).
2-?likes(_,M).
3-?likes(M,_).
4-?likes(ali,ahmed).
5-?likes(M,adel).
6-?likes(_,_).

13. EXAMPLE 3
prof(youssef,dss,1clook,m1).
prof(waffa,vb,3clook,m2).
prof(mona,nw,3clook,m1).
prof(hend,mm,5clook,m2).
prof(Youssef,net,4clook,m3).

14. Queries :-
1-?prof(M,N,X,Y).
2-?prof(M,N,_,_).
3-?prof(_,_,_,_).
4-?prof(M,dss,N,X).
5-?prof(youssef,B,N,H).
6-?Prof(M,dss,N,X).
7-?prof(hend,mm,5clook,m2).
8-?prof(Hend,mm,5clook,m2).
9-?prof(HEND,MM,5clook,m2).

15. EXAMPLE 4
A fast – car is fun.
A big – car is nice.
A little – car is practical.
Ali likes a car if the car is fun.
What does ail likes?

16. In prolog
car(fast,fun).
car(big,nice).
car(little,practical).
likes(ali,X):-
car(X,fun).
Query
1-? Likes (ali, X).

17. EXAMPLE 5
Ali likes Ahmed.
Ali likes dogs.
Salwa likes everything Ali likes.
What does salwa likes?

18. In prolog
likes(ali,ahmed).
likes(ali,dogs).
likes(salwa,Something):-
likes(ali,Something).
Query
1-? Likes (salwa, what).

19. EXAMPLE 6
parent(hala,hany).
parent(aly,hany).
parent(hany,yaser).
parent(hany,aml).
female(hala).
female(mona).
female(aml).
male(aly).
male(yaser).
Hala
Hany
Yasser
Amal
Aly

20. CONTINUE
sister(X,Y):-
parent(Z,X),parent(Z,Y),female(X),X=Y.
father(X,Y):-
parent(X,Y),male(X).
mother(X,Y):-
parent(X,Y),female(X).
brother(X,Y):-
parent(Z,X),parent(Z,Y),male(X),X=Y.
off(hany,hala).
off(hany,aly).
off(aml,hany).
off(yaser,hany).
off(X,Y):- parent(Y,X).X=Y.

21. gf(X,Z):-
parent(Y,Z),parent(X,Y),male(X),X=Y.
gm(X,Z):-
parent(Y,Z),parent(X,Y),female(X),X=Y.
CONTINUE
Queries :-
1-?sister(X,Y). 2-?brother(X,Y).
3-?father(X,Y). 4-?mother(X,Y).
5-?gf(X,Z). 6-?gm(X,Z). 7-?off(X,Y)

22. END
Ibrahim.Elaraby@Outlook.Com