Programação baseada em regra na qual cada regra é independente e a ordem na qual as regras são declaradas ou executadas não é significante.