Menu ▾ ▴

Commit [r9182]  Maximize  Restore  History

curr_sym.P, std_xsb.P : added
subgoal_property/2,variant_subgoal_prperty/2 as "standard" predicates.
This replaces the following predicates (which are obsolete but are
still working):

incr_is_invalid/1,incr_is_invalid/3, incr_invalid_subgoals/1,
is_incremental_subgoal/1,

Also added some code for set_subgoal property, which isn't finished

standard.P tables.P
moved check_table_option/4 from standard to tables

tables.P, tr_utils.c
in set_tif_property changed subgoal_depth,answer_depth to
subgoal_size,answer_size. This isnt a user predicate, so it shouldn't
pose a problem:

get_calls/1 fixed to allow explicit module in input

tswift 2017-12-30

changed /trunk/XSB/emu/tr_utils.c
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...