Menu ▾ ▴

Commit [r9181]  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/syslib/curr_sym.H
changed /trunk/XSB/syslib/curr_sym.P
changed /trunk/XSB/syslib/curr_sym.xwam
changed /trunk/XSB/syslib/standard.H
changed /trunk/XSB/syslib/standard.P
changed /trunk/XSB/syslib/standard.xwam
changed /trunk/XSB/syslib/std_xsb.P
changed /trunk/XSB/syslib/std_xsb.xwam
changed /trunk/XSB/syslib/tables.H
changed /trunk/XSB/syslib/tables.P
changed /trunk/XSB/syslib/tables.xwam
/trunk/XSB/syslib/curr_sym.H Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/curr_sym.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/curr_sym.xwam
Binary file was changed.
/trunk/XSB/syslib/standard.H Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/standard.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/standard.xwam
Binary file was changed.
/trunk/XSB/syslib/std_xsb.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/std_xsb.xwam
Binary file was changed.
/trunk/XSB/syslib/tables.H Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/tables.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/tables.xwam
Binary file was changed.