释义 |
negation by failure negation by failureAn extralogical feature of Prolog and other logic programming languages in which failure of unification istreated as establishing the negation of a relation. Forexample, if Ronald Reagan is not in our database and weasked if he was an American, Prolog would answer "no". |