All Application Manual Name SummaryHelp

Availability::- use_module(library(tables)).
tnot(:Goal)
Tabled negation.
deprecated
This is a synonym to tnot/1.
Availability:built-in
Sourcetnot(:Goal)
The tnot/1 predicate implements tabled negation. This predicate realises Well Founded Semantics. See section 7.6 for details.
ClioPatria (version V3.1.1-51-ga0b30a5)