Программирование на основе правил, в котором каждое правило является независимой и порядок, в котором правила объявлены или казнены не является существенной.