ViniciusFM/trabalho-IA — pull request #6 by yass-n (2013-07-14 00:33:57+00:00)
Title: Unifyzinho

Coloquei uma condição que faltava no unify:

```unify (Atomo p) (Seq _ _) _ = Nothing```

E fiz os testes