An extralogical feature of Prolog and other {logic progrAMming} 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". (1994-11-29)