Queries and backward-chaining