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.

Down arrow icon.