Programación basada en la regla en la cual cada regla es independiente y el orden en el cual las reglas son declaradas o ejecutadas no es significativa.