Menu

Commit [r8417]  Maximize  Restore  History

Minor changes in answer-completion: use force_truth_value(...,false)

instead of delete_return. It's more direct and should be slightly
more efficient. Use trie_get_return directly to avoid collecting all
answers just to see if there's one.

dwarren 2015-08-05

changed /trunk/XSB/syslib/tables.P
changed /trunk/XSB/syslib/tables.xwam
/trunk/XSB/syslib/tables.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/tables.xwam
Binary file was changed.
MongoDB Logo MongoDB