 Another influential mechanism realizing the closed world assumption is Negation as Failure   (or Default Negation). It can nicely be explained if we take a look at Logic Programming. A logic program consists of a list of rules such as: 