Ver https://pessoal.dainf.ct.utfpr.edu.br/adolfo/doku.php?id=2018:introducao_a_logica_para_computacao