Artigo sobre lógica contextual e GNU Prolog/CX (pdf)
Sintaxe da linguagem TPL (pdf)
Exemplos em TPL (tgz)
http://catalog.compilertools.net (o nome diz tudo...)
Artigo sobre construcao de compiladores com a ferramenta ANTLR (Java, C++, C#...) (html)