Translation of SICP logic programming interpreter from Chapter 4 into Erlang… WIP!