Rule LITFORM_3

LITFORM 'NafAtom 


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:

     <Naf>
       (XML serialization of Atom)
     </Naf>
    


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