Oliveira, George Souza, and Anderson Faustino 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.