Example image of eyePlorer eyePlorer map for 'Rete algorithm': Algorithm Pattern matching Production system Carnegie Mellon University Charles Forgy Business rules engine CLIPS Drools Jess programming language Microsoft BizTalk Server Soar (cognitive architecture) Fact Knowledge base Rule of inference Vertex (graph theory) Leaf node Tree (data structure) Trie Computer memory Rule Tuple Attribute (computing) Logical conjunction Forward chaining Inference Directed acyclic graph Projection (relational algebra) Selection (relational algebra) Business analyst Software developer Entity Index (information technology) Hash table Equality (mathematics) Variable (mathematics) Linked list Priority queue Cycle detection Quantification Existential quantification Universal quantification Negation as failure Double negation Logical connective Truth maintenance system Expert system Data type Object (computer science) Table (database) XML