Trabalho de PP - Paradigma Lógico (Haskell)