ブルックスとは何ですか?

Brooksは、2003年にPetra Hofstedtによって提案された実験的なマルチパラダイムプログラミング言語です。それは、「機能的世界からの決定論的計算と論理的世界からの非決定論的検索操作」を​​組み合わせる「関数論理」言語です。 その名前は論理学者のHaskell Brooks Curryへのオマージュです。

Haskell、Logic、Paradigm、プログラミング用語