beginner's question: Difference between CWA and NAF

From: "DaMenge" <c-programming@xxxxxxxxxxxxxx>
Date: 15 Aug 2005 03:33:47 -0700

Hi all,

I'm learning a bit theory about ProLog and DataLog, but I have a
problem understanding the difference between the "closed world
assumption" and "negation as failure".

Could anyone please tell me?
(Why aren't they equivalent, exspecially: why ist NAF => CWA not true?)

much thx

.

Follow-Ups:
- Re: beginner's question: Difference between CWA and NAF
  - From: Torkel Franzen

Prev by Date: Re: Minimum depth limit
Next by Date: Re: beginner's question: Difference between CWA and NAF
Previous by thread: Minimum depth limit
Next by thread: Re: beginner's question: Difference between CWA and NAF
Index(es):
- Date
- Thread

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)
Re: beginners question: Difference between CWA and NAF
... > NAF) first? ... There are different suggested justifications of negation as failure, ...
(comp.lang.prolog)
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)