Backtracking Search with a Pluggable Deduction OperatorDeep-ML | Problem