----------------------
Backward chaining rule
----------------------

Some examples of backward chaining rule created by Pierre-Antoine Champin and Jesse Wright.
