Home > Archive > Prolog > August 2005 > completeness and forall
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
completeness and forall
|
|
| alexander.stuckenholz@gmail.com 2005-08-15, 9:01 am |
| Hello.
I have a question regarding the use of the forall statement and the
completeness of results. 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!).
Now i use the forall statement of prolog which is written as:
forall(Cond, Action) :-
\+ (Cond, \+ Action).
I don't know if i'm wrong now, but is it right, that this is not
complete any longer?
Regards,
Alex
| |
| Torkel Franzen 2005-08-15, 5:02 pm |
| alexander.stuckenholz@gmail.com 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
s ing solutions in pure Prolog which always terminates with
failure if there is no solution.
|
|
|
|
|