تعد Brooks لغة برمجة تجريبية متعددة النماذج تم اقتراحها من قبل Petra Hofstedt في عام 2003. إنها لغة "منطقية وظيفية" تجمع "الحسابات" الحتمية من العالم الوظيفي وعمليات البحث غير المحددة من عالم المنطق. " اسمها هو تكريم لرجل الأعمال هاسكل بروكس كاري.

شروط هاسكل ، المنطق ، النموذج ، البرمجة