Simple logic runtime for erlang