efene is intended to help coax developers into the world of erlang who might otherwise be intimidated by the prolog-inspired syntax of erlang.
Mariano manages to leave most of the heavy lifting of optimizations to the existing Erlang compiler.