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

From: Torkel Franzen <torkel@xxxxxxxxxx>
Date: 15 Aug 2005 13:07:00 +0200

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

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

"Negation as failure" doesn't even have the form of a statement.
What do you mean by "NAF => CWA"?

.

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

References:
- beginner's question: Difference between CWA and NAF
  - From: DaMenge

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