A complex benchmark for logic programming and deductive databases, or who can beat the N-queens?