Apontamentos
Warren's Abstract Machine - A Tutorial Reconstruction
Logic Programming and Prolog
Warren's Abstract Machine
Tabulação em Programação Lógica
Exames de Anos Anteriores
2014/2015 Época Normal
2014/2015 Época Recurso
2013/2014 Época Normal
2013/2014 Época Recurso
2012/2013 Época Normal
2012/2013 Época Recurso