An extralogical feature of Prolog and other logicprogramming languages in which failure of unification is

treated as establishing the negation of a relation. For

example, if Ronald Reagan is not in our database and we

asked if he was an American, Prolog would answer "no".