Oz が Erlang に比べて極端に難しい言語だとは思えんが。
論理型でも書けるってだけで、それを強制されるわけでもないし。

ところで Oz のスレって無いのかね。