Prolog Eight Queens Solution