Solution for the N-Queen Problem with Haskell LogicT