Executing rules in depth first search order