Regelbaserad programmering där varje regel är oberoende och den ordning i vilken reglerna deklareras eller avrättas är inte betydande.