El sistema de programación lógica se encarga de la resolución de las reglas y los hechos.
Es declarativa
Se centra en declarar qué debe hacerse en lugar de cómo hacerlo,
Esta basada en reglas
Se utilizan reglas lógicas para representar el conocimiento y la lógica del dominio. Las reglas se aplican a
los hechos conocidos para inferir nuevas conclusiones.
No determinista
Permite múltiples soluciones para un problema dado.