Trabalho de PP - Paradigma Lógico (Prolog)