Solution for n-queen using core.logic

I’m trying to solve n-queen problem using core.logic. I know there can be other solutions. But want to know why this solution is not working. Any help would be very much appreciated.