Βασισμένο σε κανόνες προγραμματισμού στην οποία κάθε κανόνας είναι ανεξάρτητη και τη σειρά στην οποία δηλώνεται ή εκτελούνται κανόνες δεν είναι σημαντική.