
Chapter 11
:
Compiling the GCWA 405
with the negative data in the RDB, and diese resolutions are made at evalua-
tion time, not at compile time. In Representation 3, any negative information
about V would have to be in the CDB and would therefore be resolved at com-
pile time. Notice also that clause 2 could lead to a Horn clause with positive
literal over S because there is explicit negative information about V which can
remove the second positive literal. Thus, in Representation 2, clause 2 would
be included in the set of compiled clauses that could prove 5 atoms true. Of
course, in Representation 3, any such negative information over V woul ...