Rule-based programming in which each rule is independent and the order in which rules are declared or executed is not significant.