لغة برمجة مقيدة
لغة برمجة مقيدة Constraint هي نمط من انماط البرمجة بيحث تكون العلاقات بين المتحولات فهم على شكل قيود . تختلف القيود عن الاوليات في البرمجة الامرية بان القيود لا تحدد خطوة اومجموعة خطوات ليتم تفيذها ,وانما تحدد خاصية حل ليتم إيجاده .هذا الامر يجعل من اللغة المقيدة شكلاً من اشكال اللغات التصريحية . القيود المستعملة هي عديدة وشتى .
القيود عادة ماتكون مضمنة بلغات برمجة اومقدمة عن طريق مخطات برمجية .
بدأت اللغات المقيدة مع لغات البرمجة المنطقية المقيدة constraint logic programming التي ضمنت القيود في البرامج المنطقية . يوجد الآن الكثير من مفسرات لغات البرمجة المنطقية المقيدة كما في GNU Prolog على سبيل المثال لا الحصر .
ناهيك عن لغات البرمجة المنطقية , القيود يمكن ان يتم دمجها مع لغات البرمجة التابعية \الدالية functional programming , وfunctional programming واللغات الامرية .
ان لغات البرمجة مع دعم للقيود تتضمن Oz في اللغات التابعية وKaleidoscope في اللغات الامرية . غالباً القيود تكون في اللغات الامرية بواسطة ادوات لحل القيود التي هي مخطة منفصلة مهصصة للغة برمجة امرية موجودة .
مجالات القيود
القيود المستعملة في لغات البرمجة عادة ماتكون مقيدة بشروط محددة وفقاً لطبيعة القيود والمتحولات . من اشهر المجالات في البرمجة المقيدة هي :
- مجال المتحول المنطقي boolean حيث القيود true/false هي الوحيدة المطبقة .بحيث تحقق SAT
- مجال الاعداد السليمة هي مجال الاعداد الرياضية
- المجال الخطي حيث التوابع الخطية هي التوابع التي يتم وصفها وتحليلها على الرغم من ان المشاكل الغير خطية غير موجودة .
- المجال المنتهي حيث القيود تعهد بالمجموعة المنتهية .
- المجالات المختلطة تتضمن اثنان اواكثر من المجالات آنفة الذكر
مخطات القيود البرمجية للغات البرمجة الامرية
البرمجة المقيدة غالباً ماتكون متضمنة ضمن احدى لغات البرمجة الامرية بواسطة مخطة برمجية منفصلة وهذه بعض اشهر المخطات البرمجية :
- Choco (Java library, free software: X11 style)
- Comet (C style language for constraint programming, constraint-based *local search and mathematical programming, free binaries available for academic use)
- Disolver (C++ library, proprietary)
- Gecode (C++ library, free software: X11 style)
- ILOG CP Optimizer (C++, Java, .NET libraries, proprietary)
- ILOG CP (C++ library, proprietary)
- JaCoP (Java library, open source) available here
- JOpt (Java library, free software)
- Koalog Constraint Solver (Java library, proprietary)
- Minion (C++ program, GPL)
- python-constraint (Python library, GPL)
- Cream (Java library, free software: LGPL)
- Emma (Python library, proprietary)
- Turtle++ (C++ library - inspired by the Turtle Language, free software)
