A Logical Characterization of Forward and Backward Chaining in the Inverse Method