 This was a driving motivation behind rule-based expert systems.IF-THEN rules provide a subset of FOL but a very useful one that is also very intuitive.The history of most of the early AI knowledge representation formalisms; from databases to semantic nets to theorem provers and production systems can be viewed as various design decisions on whether to emphasize expressive power or computability and efficiency.