XSB Src (SVN)-old

Fixed memory error when trying to access compl frame to reset level_num when there is no frame.

Moved num_sched and friends from schedrev_xsb_i.h where they were defined inside a function (emuloop) to emuloop.c where they were defined globally. This means that they can be used when expanding the compstack.

moving definitions of globals outside of a function.

two new preds:

machine:epoch_nanoseconds(Secs,Nanosecs)

This one actually works in windows, but windoze resolution is 100ns, while linux mac is 1 ns. This is a windoze limitation for some reason.

file_io:file_time_ns(file,secs,nanosecs)

This one only works in linux and mac. In windows, nanosecs=0.

If somebody has the patience to figure the windoze way for getting nanosecs here, it'd be great.

I tried but could not get the full picture and gave up.

There is this thing: https://docs.microsoft.com/en-us/windows/win32/sysinfo/retrieving-the-last-write-time

but unclear how to get from there to sec/nsec since epoch (1970). For some reason, some funcs in windows use 1601 as epoch and some 1970.

Fix bug in removing least element from sched heap; also fix bug in scheduling for incremental table maintence where there was a missing add-to-shced-heap.

Changed scheduling in fixpoint to use a priority queue. Also made some minimal changes in tst_insert.c to (maybe) make it easier to add iteration to the skip list impl.

Modified answer completion to alternate RL and LR selection strategy on meta-interpretation iterations. Makes more likely to be linear, esp. on artifical examples.

Added tech documentation of new adjust_levels algorithm and new fixpoint scheduling algorithm.

Modified fixpoint scheduling to use a scheduling queue to avoid linear scan of completion frames. Updated adjust_levels to be more multi-thread friendly, I hope.

Fixed adjust_levels to be linear. This changes how leaders are found.