Leram - Fundamentos da Programação Lógica e Funcional. O Princípio de Resolução e a Teoria de Reescrita