Faça, do livro de Brachman e Levesque, o exercício 3 do capítulo 3, e também o exercício 1 ou o exercício 2 do mesmo capítulo.