برمجة منطقية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

البرمجة المنطقية Logic programming هي بمفهومها العام استعمال المنطق الرياضي من اجل برمجة الحاسب. يستعمل المنطق لغة تصريحية للتعبير عن المشكلة. خلاف الكثير من لغات البرمجة التقليدية فإن المبرمج في البرمجة المنطقية لا يقوم بحل المشكلة بشكل كامل وانم يقع على عاتقه مسؤولية جزئية في حل المشكلة وهي بتمثل القضايا والمعارف بصيفة منطقية logical form. ويقع الجزء الآخر لحل المشكلة على ما يدعى مبرهن القضايا theorem-prover أو مولد النماذج model-generator الذي يقوم بحل المشكلة بشكل فعال

علم المنطق[عدل]

بكل الأحوال تستخدم اللغات المنطقية تكتيك السلسلة الخلفية لعملية الاستنتاج backward reasoning يتم التعامل مع البرنامج على انه تساؤل يجب الاجابة عليه والبحث عن اجابته.

تعتمد اللغات المنطقية على قوانين هورن الممثلة بالشكل التالي :

H :- B1, …, Bn.

بحيث H هو الدالة الهدف و B1...n هي قضايا يجب البحث عن حلها لحل القضية الرئيسية

ويمكن تأويلها بشكل إجرائي على الشكل :

كي تحل\تظهر H اظهر\حل B1 وقم بحل\اظهار B2...... إلى Bn

وبلغة المنطق الرياضي يمكن القول الجملة السابقة تكافئ :

B1 and … and Bn → H

مبرمجي اللغات المنطقية المحترفين يستخدمون تفسيرات اجرائية ليكتبو برامجهم وتفسيرات تصريحية للتأكد من خلو الهدف من اخطاء والوصول للهدف.

انظر أيضاً[عدل]

مصادر[عدل]

قالب:Computable knowledge قالب:بوابة علم الحاسوب