Prolog Eight Queens Optimized Solution