|
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.