Esta monografia destina-se à utilização nas aulas práticas da disciplina de Elementos Lógicos da Programação III, leccionada no 3o ano do curso de Matemática e Ciências da Computação da Universidade do Minho.
