One of the most valuable research fields in logic programs is deducing negative information. There are two basic rules to negation, closed world assumption and negation as failure.