Backward Reasoning
From EosPedia
Backward Reasoning is one of reasoning rules at Artificial Intelligence. Another is Forward Reasoning. It is used by make or prolog, and so on. It is called Goal-Driven, it is suitable to find reasoning rule for a road to a purpose.