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

البرمجة الوظيفية المنطقية (بالإنجليزية: Functional logic programming)‏، هي مزيج من أنماط البرمجة الوظيفية (مُتضمَّنةً ) وَالبرمجة المنطقيّة (، ) في لغة برمجة واحدة. جُسِّدَ أُسلوب البرمجة هذا في العديد من، ومنها وَميركوري. كُرِّست دورية علمية للحديث عن تكامل البرمجة الوظيفيّة وَالبرمجة المنطقيّة، وَنُشِرَت من قِبَل (MIT Press) وَالرّابطة الأوروبيَّة للأنظمة وَلُغات البرمجة بين عامي 1995 وَ2008.