I am trying to write a predicate in Prolog that will use my predicate \'PAR\', which tests whether a 4 digit number meets certain conditions, but return a list of all number