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