The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for negation by failure
From The Free On-line Dictionary of Computing (30 December 2018) :

  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".

Contact=webmaster@dict.org Specification=RFC 2229