n queens with the logic monad