SEARCH Articles Figures Tables Backwardation Changing Facts — Backward-Chaining Rules Forward and Backward Chaining