Prolog interpreter in and for Erlang