Overview

negation as failure


Related Overviews

 

'negation as failure' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Computing

GO

Show Summary Details

Quick Reference

A rule of inference that assumes a fact is false when all possible proofs of the fact being true have failed. This is exactly equivalent to negation when the closed-world assumption holds – if some information is not contained within the system as a truth, then it is assumed false. Negation as failure is an important feature of the language Prolog.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.