## Rule `LITFORM_3`

`LITFORM` |  | '`Naf`' `Atom`

#### Description

`Naf` denotes negation as failure in one of its incarnations (well-founded or stable-model). The actual flavor of Naf is determined by inspecting the value of a semantic tag associated with the ruleset. Naf is used in LP (and in queries and constraints over the intended models of LP); it can possibly be relevant to PR and RR. Its XML serialization form is:
           <rcl:Naf>
             (XML serialization of Atom)
           </rcl:Naf>

Copyright © 2006 ILOG, Inc.; All Rights Reserved.