Duble tnot negation error: tnot(tnot(p)) error

Duble tnot negation error.

:- table(p/0).

| ?- tnot(tnot(p)).
++Error[XSB/Runtime/P]: [Miscellaneous] Illegal (untabled?) subgoal to 't not'/1: tnot(p)
Forward Continuation...
... machine:xsb_backtrace/1
... x_interp:_$call/1
... x_interp:call_query/1
... standard:call/1
... standard:catch/3
... x_interp:interpreter/0
... loader:ll_code_call/3
... standard:call/1
... standard:catch/3
| ?-