In human reasoning and rule implementations in software, backward chaining is the process of concentrating on an important conclusion and then asking the question of whether all conditions apply to draw that conclusion.
Backward chaining is typical for mathematical calculations since the driver for applying a calculation rule is typically that you want the result calculated: