An anytime deduction heuristic for first order probabilistic logic