Version 3 of Hammurapi Rules supports backward chaining in addition to forward chaining. In some cases backward chaining is more efficient than forward chaining. The "Backward Chaining" section in the Hammurapi Rules User Guide provides an example of such a case. The tutorial shows how to use backward chaining in a Java application.