books comparison with logical languages
If you do not find what you're looking for, you can use more accurate words.
المقارنة مع اللغات المنطقية (Info)
(logic) في لغات البرمجة المنطقية البرنامج هو عبارة عن مجموعة من قضايا أو حقائق منطقية وقواعد دلالية، العمليات الحسابية تتم محاولة إيجاد برهان النظرية. من وجهة النظر هذه فإن لغات البرمجة المنطقية هي لغات تصريحية (declarative) تركز بشكل أساسي على ماهية المشكلة أكثر من كونها تركز على الحل بحد ذاته.
بكل الأحوال تستخدم اللغات المنطقية تكتيك السسلة الخلفية لعملية الاستنتاج (backward reasoning) يتم التعامل مع البرنامج على انه تساؤل يجب الإجابة عليه والبحث عن اجابته.
تعتمد اللغات المنطقية على قوانين هورن الممثلة بالشكل التالي:
H :- B1, …, Bn.
بحيث H هو الدالة الهدف و B1...n هي قضايا يجب البحث عن حلها لحل القضية الرئيسية
ويمكن تأويلها بشكل إجرائي على الشكل:
كي تحلتظهر H اظهرحل B1 وقم بحلاظهار B2...... إلى Bn
وبلغة المنطق الرياضي يمكن القول الجملة السابقة تكافئ:
B1 and … and Bn → H
مبرمجي اللغات المنطقية المحترفين يستخدمون تفسيرات اجرائية ليكتبو برامجهم وتفسيرات تصريحية للتأكد من خلو الهدف من اخطاء والوصول للهدف.
