N-Queens Problem Revisited: A Deductive Database Approach