Availability:built-in
![Show source Source](/swish/pldoc/res/source.png)
abolish_table_subgoals(und)
will also abolish the table for
p/0 because its answer refers to und/0 .
p :- und. und :- tnot(und).
abolish_table_subgoals(und)
will also abolish the table for
p/0 because its answer refers to und/0 .
p :- und. und :- tnot(und).