I am aware of:
I am also aware of similarities between type inference <-> unification <-> logic programming.
'I am wondering if anyone has good recommended reading resources on building a type checker / compiler in prolog / logic languages. We can assume parsing is already done, i.e. we have an abstract syntax tree, and the remaining problems are:
(1) do type checking
(2) optimizations / code emit