[1] : The Free On-line Dictionary of Computing (27 SEP 03)

negation by failure
     
        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
     
     
see also:
extralogical prolog logic programming unification relation database 

Negation >> N Words
Negation, definition of term: Negation
negation_pag1.html

Failure >> F Words
Failure, definition of term: Failure
failure_pag1.html

Renal Failure >> R Words
Renal Failure, definition of term: Renal Failure
renal+failure_pag1.html

Heart Failure >> H Words
Heart Failure, definition of term: Heart Failure
heart+failure_pag1.html