Menu

Commit [r2123]  Maximize  Restore  History

Altered the manner in which the truth of negated subsumptive

predicates are evaluated. Originally I relied upon the interpretive
timestamp-based relevant-answer collection function, but this requires
the Time Stamp Indices to be present in the TST. If the producer has
completed before the collection, then these structures would have
already been be reclaimed.

The new approach checks for a relevant answer using the
trie_get_return/2 builtin. If one is found, then the literal can be
failed. Otherwise, the producer must be checked for completion and
whether the negative-delay flag has been set. This is performed
through a new builtin, lrd_success/2. Therefore, slg_not/1 is restored
for handling variant tabled predicates only.

ejohnson 2000-12-08

changed /trunk/XSB/cmplib/builtin.O
changed /trunk/XSB/cmplib/builtin.P
changed /trunk/XSB/emu/bineg_xsb_i.h
changed /trunk/XSB/emu/builtin.h
changed /trunk/XSB/emu/tst_retrv.c
changed /trunk/XSB/syslib/tables.O
changed /trunk/XSB/syslib/tables.P
/trunk/XSB/cmplib/builtin.O
Binary file was changed.
/trunk/XSB/cmplib/builtin.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/bineg_xsb_i.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/builtin.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tst_retrv.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/tables.O
Binary file was changed.
/trunk/XSB/syslib/tables.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB