Oliveira, G. S.; da Silva, A. F. Prolog: A Linguagem, A Máquina Abstrata De Warren E Implementações. RITA 2013, 20, 214-246.