Closes #3
Predicado das estruturas de dados do prolog

1070485 Roberto Duarte