5 Prolog predicates to decode a depressingly poor encryption