Oliveira, G. S., and A. F. da Silva. “Prolog: A Linguagem, A Máquina Abstrata De Warren E Implementações”. Revista De Informática Teórica E Aplicada, vol. 20, no. 2, May 2013, pp. 214-46, doi:10.22456/2175-2745.36756.