Toaldo, Juliano, and Silvia R. Vergilio. " Applying Mutation Testing in Prolog Programs." Anais do VII Workshop de Testes e TolerĂ¢ncia a Falhas, Curitiba/PR, 2006. SBC, 2006, pp.1-12.