Goal directed

The property of an algorithm that is aware of its goal and uses that knowledge to take educated steps towards the goal, or in the case of Backward chaining search, starting from the goal, and working backwards towards the Axioms.