في علم الحاسوب، البرمجة التعريفية هي واحدة من أنماط البرمجة وهي تعبّر عن منطق البرنامج دون شرح تدفق السيطرة.[1][2][3] الكثير من لغات البرمجة تلجأ لهذا النمط كي تقلل أو تلغي أي أعراض جانبية من خلال وصف ماذا يجب على البرنامج أن ينجزه بدلا من التطرق لكيفة إنجازه. يأتي هذا النمط في البرمجة على النقيض من البرمجة الأمرية والتي تتطلب توفير خوارزمية واضحة.
أصبحت البرمجة التعريفية تلقى رواجا أكثر في الفترة الأخيرة حيث أنها أظهرت قدرة على تبسيط كتابة البرامج المتوازية.
تشمل لغات البرمجة التعريفية أنواع مثل: التعابير النمطية والبرمجة المنطقية والبرمجة الوظيفية.
مراجع
- "DAMP 2009: Workshop on Declarative Aspects of Multicore Programming". Cse.unsw.edu.au. 2009-01-20. مؤرشف من الأصل في 19 ديسمبر 201715 أغسطس 2013.
- Declarative languagein The Free On-line Dictionary of Computing, Editor Denis Howe. نسخة محفوظة 27 يوليو 2017 على موقع واي باك مشين.
- "Declarative modelling". Simulistics. مؤرشف من الأصل في 23 أكتوبر 201815 أغسطس 2013.