G. S. Oliveira and A. F. da Silva, “Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações”, RITA, vol. 20, no. 2, pp. 214–246, May 2013.