How Prolog was used to develop Erlang