برمجة إجرائية: الفرق بين النسختين

'''ال[[برمجة]] الإجرائية''' {{إنج|Procedural programming}} هي [[نمط برمجة]] مشتقة من [[برمجة هيكلية|البرمجة الهيكلية]] تستند إلى مفهوم إستدعاء الإجراء، وما الإجراء إلا سلسلة من الخطوات الحسابية التي يتعين الاضطلاع بها، والتي يمكن استدعاؤها في أي وقت أثناء تنفيذ البرنامج، من قبل إجراءات أخرى أو من قبل الإجرائية ذاتها.<ref>{{مرجعاستشهاد ويب| مسار = https://academic.microsoft.com/v2/detail/120558287 | عنوان = معلومات عن برمجة إجرائية على موقع academic.microsoft.com | ناشر = academic.microsoft.com| مسار الأرشيفأرشيف = https://web.archive.org/web/20200408223335/https://academic.microsoft.com/v2/detail/120558287 | تاريخ الأرشيفأرشيف = 8 أبريل 2020 }}</ref><ref>{{مرجعاستشهاد ويب| مسار = https://www.britannica.com/technology/procedural-language | عنوان = معلومات عن برمجة إجرائية على موقع britannica.com | ناشر = britannica.com| مسار الأرشيفأرشيف = https://web.archive.org/web/20150912070921/http://www.britannica.com/technology/procedural-language | تاريخ الأرشيفأرشيف = 12 سبتمبر 2015 }}</ref>

تعتمد هذه اللغة عدة مبادئ :

تقسيم البرنامج إلى عدة اقسام جزئية لتسهيل القراءة واعادة الاستخدام تسمى هذه الاجزاء بعدة أسماء :

(logic) في لغات البرمجة المنطقية البرنامج هو عبارة عن مجموعة من قضايا أو حقائق منطقية وقواعد دلاليةدلالية، ,العمليات الحسابية تتم محاولة إيجاد برهان النظرية. من وجهة النظر هذه فإن لغات البرمجة المنطقية هي لغات تصريحية (declarative) تركز بشكل أساسي على ماهية المشكلة أكثر من كونها تركز على الحل بحد ذاته.

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

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

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

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