Eine Inferenzmethode, die vor allem in Expertensystemen und logikbasierten KI-Systemen verwendet wird. Sie startet von einem Ziel (Goal) und arbeitet rückwärts durch Regeln, um festzustellen, ob die vorhandenen Fakten das Ziel stützen.