Oliveira, George Souza, and Anderson Faustino da Silva. 2013. “Prolog: A Linguagem, A Máquina Abstrata De Warren E Implementações”. Revista De Informática Teórica E Aplicada 20 (2):214-46. https://doi.org/10.22456/2175-2745.36756.