Playing with the 8 queens problem in Prolog (day3)