SWI-Prolog -- tnot/1

Documentation
- Reference manual
  - Tabled execution (SLG resolution)
    - Tabling predicate reference
- Packages

Availability::- use_module(library(tables)).

tnot(:Goal)

Tabled negation.

deprecated: This is a synonym to tnot/1.

Availability:built-in

Source

tnot(:Goal)

The tnot/1 predicate implements tabled negation. This predicate realises Well Founded Semantics. See section 7.6 for details.