backward chaining reasoning strategy that we described above.

However, Mycin used various heuristics to control the search for a

solution (or proof of some hypothesis). These were needed both to