It's really really enlightening to see how you can build Erlang as a Prolog DSL. Since Prolog is homoiconic, it's quite easy: http://citeseerx.ist.psu.edu/view

It's really really enlightening to see how you can build Erlang as a Prolog DSL. Since Prolog is homoiconic, it's quite easy: http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=8AD9019868EB657DD1BCEB3900849D82?doi=10.1.1.34.3972&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=8AD... That's actually how Erlang was born, hence the apparently odd syntax.