backward reasoning; backward chaining
In AI and logic programming, a reasoning method that starts from a goal and works backward to find supporting facts or rules. Often contrasted with forward reasoning (前向き推論).
Backward reasoning is often used in expert systems.
Prolog is a language based on backward reasoning.