Example image of eyePlorer eyePlorer map for 'Backward chaining': Artificial intelligence Automated theorem proving Interactive theorem proving Forward chaining Reasoning Rule of inference Logic programming SLD resolution Modus ponens Antecedent (logic) Consequent Data Goal Hypothesis Inference Inference engine Rule-based system Eager evaluation Goal-oriented Expert system ECLiPSe Knowledge Machine Prolog Effect Investigator Arthur Conan Doyle Sherlock Holmes Back-chaining Forward thinking Working backward from the goal Hammurapi Rules Cleverpath AION Business Rules Expert Semantic reasoner Automated planning and scheduling Planner (programming language) Abductive reasoning Procedural programming Rete algorithm