لغة برمجة CHIP

الموسوعة الحرة

لغة CHIP (معالجة القيود في برولوج) هي لغة برمجة منطقية قائمة على القيود، طُوِّرت عام 1985 على يد م. دينكباس وباسكال فان هينتيريك وزملائهما في المركز الأوروبي لأبحاث صناعة الحاسوب (ECRC)، باستخدام واجهة لغة برولوج في البداية . [ 1 ] وكانت أول لغة برمجة تُطبِّق البرمجة القائمة على القيود على نطاقات محدودة، [ 2 ] [ 3 ] ثم أدخلت مفهوم القيود الشاملة. [ 4 ]

CHIP V5 هو الإصدار الذي طورته وسوقته شركة COSYTEC في باريس منذ عام 1993 باستخدام لغة Prolog، وذلك باستخدام واجهات لغات C أو C++ أو Prolog. [ 5 ] كما أن برنامج ILOG CPLEX لحل المعادلات، والذي حقق نجاحًا تجاريًا كبيرًا ، هو أيضًا، جزئيًا، فرع من إصدار ECRC من CHIP.

مراجع

  1. ↑ فرانشيسكا روسي ؛ بيتر فان بيك؛ توبي والش (2006). دليل برمجة القيود . إلسيفير. ص  444. ISBN 978-0-444-52726-4.
  2. ↑ دينكباس، م؛ فان هينتيريك، ب؛ سيمونيس، هـ؛ أغون، أ؛ غراف، ت؛ بيرتييه، ف (1988). لغة برمجة منطق القيود CHIP . المؤتمر الدولي لأنظمة حاسوب الجيل الخامس: سبرينغر. ص 693-702 . ISBN  3-540-19558-0.
  3. ↑ فان هينتيريك، باسكال (1989). إرضاء القيود في البرمجة المنطقية . مطبعة معهد ماساتشوستس للتكنولوجيا، كامبريدج، ماساتشوستس. ISBN 0-262-08181-4.
  4. ↑ بيلديسينو، نيكولاس؛ كونتيجان، إيفلين (1994). "إدخال القيود العالمية في CHIP". النمذجة الرياضية والحاسوبية . 20 (12). إلسيفير: 97-123 . CiteSeerX 10.1.1.47.721 . doi : 10.1016/0895-7177(94)90127-9 . 
  5. ↑ تقنية برمجة القيود من الجيل الثاني CHIP V5، مؤرشفة بتاريخ 16 يوليو 2012 في أرشيف الإنترنت (Wayback Machine). CHIP V5، COSYTEC