هلا و الله فيك اخوي الهاتف .. 
في البداية .. هذا الموضوع للأخ IGI2000 و هو الذي تقدم مشكورا بهذه الشروحات للغات البرمجة 
لكن ولا يهمك.. أجاوبك باللي اعرف عليه عن الprolog 
لقد ذكر زميلنا ان تصنيف البرولوج هي من اللغات المنطقية أو كما تفضلت خاصة للذكاء الاصطناعي
و هي تختلف كثيرا عن الhigh level languages ، لكنها تعتمد على الحقائق و العلاقات و القوانين، مثال:
كود:
تحديد الحقائق:
man(ahmed). man(jassim). man(mohd).
ثم نحدد العلاقة بينهما
parent(ahmed,jassim). % تعني ان أحمد هو "والد" جاسم
ثم نضع القوانين:
father(F,C):-man(F),parent(F,C).
اي أن الأب يجب ان يكون "رجل" و أيضا يكون والده
و بالمقابل علاقة الابن بالاب
son(S,P):-man(S),parent(P,S).
ثم في البرنامج تستطيع ان تسأل و ذلك بكتابتك:
كود:
?-father(X,jassim).
يعني، من هو والد جاسم=> فيكون الجواب أحمد
و أيضا تستطيع ان تطلب الخبر أي:
كود:
father(ahmed,jassim)
فيكون الجواب بنعم أو لا
و تفضل هذا الموقع لمزيد من الأمثلة
http://kti.ms.mff.cuni.cz/~bartak/prolog/genealogy.html
طبعا هذا شرح جدا مختصر عن لغة الprolog .. اتمنى ان تكونوا استفدتم منه 
و السلام