All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Tabled execution (SLG resolution)
Tabling predicate reference
table/1
tnot/1
not_exists/1
tabled_call/1
current_table/2
untable/1
abolish_all_tables/0
abolish_private_tables/0
abolish_shared_tables/0
abolish_table_subgoals/1
abolish_module_tables/1
abolish_nonincremental_tables/0
abolish_nonincremental_tables/1
Packages
Availability:
:- use_module(
library(tables)
).
tnot
(
:Goal
)
Tabled negation.
deprecated
This is a synonym to
tnot/1
.
Availability:
built-in
tnot
(
:Goal
)
The
tnot/1
predicate implements
tabled negation
. This predicate realises
Well Founded Semantics
. See
section 7.6
for details.
tnot(:Goal)tnot(:Goal)