Indeed it is obvious from the remarks above that gfp(T
p
) is such a model. It
follows from the above that comp(P) has a η-generic Herbrand model iff
T
p
I
ω = gfp(Tp), i.e., iff it is canonical.
Programs
for
which
Negation as Failure Is Complete wrt the
Completed
Database
In view of the popularity of the use of negation as failure, and the view that it
is really comp(P) you are talking about, it is useful to know classes of
programs for which negation as failure is complete, for classical negation, rela-
tive to comp(P).
The completeness results in the last subsection for definite Horn programs
wer
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.