Re: completeness and forall

From: Torkel Franzen <torkel@xxxxxxxxxx>
Date: 15 Aug 2005 19:53:42 +0200

alexander.stuckenholz@xxxxxxxxx writes:

> As long as i know, the usage of horn articles
> ensure, that cosulting my knwoledge base, wrong assumptions are
> discovered to be wrong after finite time. (completeness!).

"Wrong" in what sense? There is no general procedure for
seeking solutions in pure Prolog which always terminates with
failure if there is no solution.
.

References:
- completeness and forall
  - From: alexander . stuckenholz

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