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

Performance problem
closed-wont-fix
nobody
5
2013-08-07
2008-05-08
Paul Fodor
No

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
| ?-

Discussion

  • Michael Kifer

    Michael Kifer - 2013-08-07

    XSB doesn't support this. You have to define something like

    :- table not_p/0.
    not_p :- tnot p.
    and then ask
    ?- tnot not_p.

    Perhaps XSB should be doing this automatically in which case it would be a feature request.

     
  • Michael Kifer

    Michael Kifer - 2013-08-07
    • status: open --> closed-wont-fix
    • Group: --> Performance problem
     

Log in to post a comment.