I think in this specific case the size is small enough that you could handle it -- 9! ~= 360,000.

But yeah, your point is well taken. On the logic programming side, ASP is probably a better fit.