Negation for non-recursive RIF rules introduced