Lógica_de_primeira_ordem loading ...