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
Disclaimer