برمجة المنطق الوظيفي

📅 آخر تحديث: ١٨ يوليو ٢٠٢٦
✍️ نُشر في: ١٨ يوليو ٢٠٢٦
الموسوعة الحرة

البرمجة المنطقية الوظيفية هي دمج نموذجي البرمجة الوظيفية والبرمجة المنطقية في لغة برمجة واحدة . [ 1 ] يتجسد هذا النمط من البرمجة في العديد من لغات البرمجة ، بما في ذلك كاري وميركوري . [ 2 ] [ 1 ] ومن الأمثلة الحديثة على ذلك لغة فيرس . [ 3 ] وقد نشرت مطبعة معهد ماساتشوستس للتكنولوجيا والرابطة الأوروبية للغات وأنظمة البرمجة مجلة متخصصة في دمج البرمجة الوظيفية والمنطقية بين عامي 1995 و 2008 . [ 4 ]

مراجع

  1. 1 2 أنطوى، سيرجيو، ومايكل هانوس. " برمجة المنطق الوظيفي ". مجلة الاتصالات ACM 53.4 (2010): 74-85.
  2. ↑ هانوس، مايكل، هربرت كوشن، وخوان خوسيه مورينو نافارو. " كاري: لغة منطقية وظيفية حقيقية ". وقائع مؤتمر ILPS. المجلد 95. العدد 5. 1995.
  3. ↑ أوغستسون، بريتنر، كلايسن، جالا، بيتون جونز، شيفرز، سويني. " حساب الآيات: حساب أساسي لبرمجة المنطق الوظيفي ".
  4. ↑ كوشن، هربرت. "مجلة البرمجة الوظيفية والمنطقية" . جامعة مونستر .