Efficient provenance tracking for datalog using top-k queries