implemented exil-env:back-run for running backward chaining inference
backtrack stops when the back-stack is exhausted