Menu ▾ ▴

Commit [r9246]  Maximize  Restore  History

Added minor code to compiler to support the form:

p(X,---) :- X = f(a,b), ...
to use the f(a,b) to index on the first argument. (Works for any argument.)
Finally can get indexing *and* avoid reconstructing the term on the heap.
This is not applied to tabled predicates (since it causes a segfault.)
I should try to figure out why. I suspect there might be a program
transformation that it's intefering with.

dwarren 2018-04-05

Browse code at this revision

Parent: [r9245]

Child: [r9247]

changed /trunk/XSB/cmplib/tp_index.P
changed /trunk/XSB/cmplib/tp_index.xwam
/trunk/XSB/cmplib/tp_index.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/cmplib/tp_index.xwam
Binary file was changed.
mdb logo