update RuleML to 1.0