Versão completa do ficheiro sp_exp2 (preparado para usar negações, já com a extensão .pl)

Ficha1
sp_exp1
veiculos1
veiculos2