Erlang внутри Oz в каком-то смысле есть, но он там слишком уж не realtime. В Erlang очередь собщений привязана к нити и это учитывается планировщиком. В Oz же приходится за заполненностью очередей следить самому и механизмы для этого применяются нетривиальные.

А для серьезной обработки строк (например в биоинформатике) интересно приспособить Рефал. Кстати, тоже во многом логический ;-).