use ERLANG instead of PROLOG