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