Re: beginner's question: Difference between CWA and NAF

"DaMenge" <c-programming@xxxxxxxxxxxxxx> writes:

> Perhaps someone could give me an exact definition (for both: CWA and
> NAF) first ?

There are different suggested justifications of negation as failure,
and we do indeed need precise formulations in order to be able to say
what implies what. I'm unfamiliar with the literature of the last
fifteen years or so, and don't know what survey to recommend.

.

Relevant Pages

  • Negation As Finite Failure, loop
    ... I have a question concerning negation as failure. ... - what will happen in a "real life" PROLOG derivation? ... Thomas ...
    (comp.lang.prolog)
  • beginners question: Difference between CWA and NAF
    ... I'm learning a bit theory about ProLog and DataLog, ... problem understanding the difference between the "closed world ... assumption" and "negation as failure". ...
    (comp.lang.prolog)
  • Best Way to Check Success/Failure
    ... Is there a more effective way to check the success or failure of an ... action in a shell script? ... I've been using the negation of "if" e.g. ...
    (comp.unix.shell)
  • Re: Does this Prolog newbie getting it right?
    ... > tutorials. ... "In this book we use not Goal for negation as failure. ... *not* is just retained for compatibility. ...
    (comp.lang.prolog)