Production systems with negation as failure