query expansions and datalog clauses