Bugs item #2135761, was opened at 2008-09-29 10:29
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=2135761&group_id=1176Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Tabling/Negation
Group: Other
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: incr_assert and incr_retractall do not appear to work.
Initial Comment:
Version 3.1 on Windows XP.
incr_assert and incr_retractall do not update tabled predicates. I used this example (after finding my own code did not work).
:- table p/2.
:- use_incremental_tabling p/2.
p(X,Y) :- q(X,Y),Y =< 5.
:- dynamic q/2.
:- use_incremental_dynamic q/2.
q(a,1).
q(b,3).
q(c,5).
q(d,7).
?- import incr_assert/1 from increval.
yes
| ?- p(X,Y),writeln([X,Y]),fail.
[c,5]
[b,3]
[a,1]
no
| ?- incr_assert(q(d,4)).
yes
| ?- p(X,Y),writeln([X,Y]),fail.
[d,4]
[c,5]
[b,3]
[a,1]
no
| ?-
This simply does not work. I've had to use abolish_all_tables each and every time I've asserted or retracted clauses. This is more than disappointing, it's downright bad.
Either the manual or the softweare is broken.
markbuckle99@...
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=2135761&group_id=1176-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/_______________________________________________
Xsb-development mailing list
Xsb-development@...
https://lists.sourceforge.net/lists/listinfo/xsb-development
