Brooks est un langage de programmation expérimental multi-paradigme proposé par Petra Hofstedt en 2003. C'est un langage de "logique fonctionnelle" qui "rassemble des calculs déterministes du monde fonctionnel et des opérations de recherche non déterministes du monde logique". Son nom est un hommage au logicien Haskell Brooks Curry.

Haskell, Logic, Paradigm, Termes de programmation