Footnote
None of the backward chaining rules are recursive, so the benchmarks could have been implemented without using backward chaining simply by incorporating their antecedents in the enclosing rules. Therefore, the benchmarks are useful for evaluating the efficiency of forward chaining.