Negation Handling in RuleML (Cont’d)
<_body> <and> <atom> <_opr><rel>isPresent</rel></_opr> <var>Car</var> </atom> <not> <atom> <_opr><rel>isAssignedToRentalOrder</rel></_opr> <var>Car</var> </atom> </not> . . . </and> </_body>
NOT in RuleML: an example