Y ya que estamos con Drools, pues vamos a refrescar unas cosillas de IA [los enlaces iniciales con de la wikipedia]:

• Programación Lógica (y en inglés).
• Declarative programming.
• Lógica matemática. (y en inglés).
  

Tipos de programación Lógica:

• Calculo lambda (y en inglés). Vamos... en lo que se basa LISP.
  
• Lógica de primer orden o de predicados (y en inglés). Aunque mejor ésta. Este último link es de lectura obligada para refrescar conocimientos antes de meternos con Drools.
  
• Lógica proposicional (y en inglés). Aunque una introducción mas sencilla es ésta.
  
• Higher-order logic.
  
• .../...

Vamos que mejor que la info de la wikipedia, ésta (al menos mas elemental).

La lógica de predicados es superior a la lógica preposicional por:
"La principal debilidad de la lógica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando se las representa en lógica proposicional. Por esto se desarrolló una forma lógica más general, capaz de representar todos los detalles expresados en las sentencias, esta es la lógica de predicados."