لغة تصريحية

في علم الحاسب فإن لغة البرمجة التصريحية declarative هي نمط من انماط البرمجة بحيث يعبر عن منطق البرنامج من دون الحاجة الى وصف ادوات التحكم .العديد من اللغات تطبق هذا الاسلوب محاولة منها لتقليل او التخلص من الآثار الجانبية side effects بحيث يجب وصف ما يجب على البرنامج تحقيقه لا وصف كيفية عمل البرنامج ليحقق ذلك الهدف . هذا الامر يتباين مع لغات البرمجة الامرية imperative التي تتطلب خوارزمية واضحة لتحديد كيفية الحل .

البرمجة التصريحية عادة ما تعتبر البرنامج كمجموعة نظريات لقضايا منطقية . والمعالجة بانها عملية استنتاجات في ذلك الفضاء المنطقي .

لقد امست اللغات التصريحية مثيرة للاهتمام مؤخراً عندما اصبح لها ذلك الاثر الواضح في البرامج التفرعية .

لغات البرمجة التصريحية المعروفة تتضمن التعابير المنتظمة regular expressions , برمجة منطقية , برمجة دالية functional.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .