SPARSE-A Prolog Based Application for the Portuguese Transmission Network : Verification and Validation