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.

Related Fundamentals

Back to Glossary

From the blog

High performance knowledge graph and semantic reasoning engine.