Trabalho sobre o paradigma lógico, linguagem prolog.