Programming Computers to Work Backwards from a Goal

 This is known as backward chaining. This technique is used by automated theorem provers and inference engines. It was used in the expert system Mycin, a famous AI case study.