Move DCG code and predicates to separate module
Implement the erlog server as a gen_server
Move lists predicates to separate module