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)