Negation as failure

Negation-as-failure is a construct in Logic that allows us to make deductions based on information that is not explicitly given. Datalog rules can be extended with Negation-as-failure.

Back to Glossary