Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9189] by tswift

sym = insert_psc(ptoc_string(CTXTc 1),(int)ptoc_int(CTXTc 2), global_mod, &value);
init_psc_ep_info(pair_psc(sym)); // reset to reload
psc_set_data(pair_psc(sym),(Psc)makestring(string_find(mod_name,1)));
+ // psc_set_env(tpsc,T_UNLOADED);
+ if (get_type(pair_psc(sym)) == 0)
+ psc_set_type(pair_psc(sym),T_UDEF);
} else {
mod_psc = pair_psc(insert_module(0, mod_name));
sym = insert_psc(ptoc_string(CTXTc 1), (int)ptoc_int(CTXTc 2), mod_psc, &value);

Added the 3 +'d lines above to psc_import to make the import directive
consistent with the import declaration as executed by the loader. The
motivation for this is to make predicates that are imported but
undefined have the type T_UDEF, which can be reflected as unloaded by predicate_property.

2018-01-01 20:10:44 Tree
[r9188] by tswift

Added documentation for get_calls/4 which returns the pointer to the
call node; get_calls/3 is still supported as a standard predicate.

2017-12-31 00:30:52 Tree
[r9187] by tswift

Documentation of subgoal property plus other small changes.

2017-12-30 22:13:25 Tree
[r9186] by tswift

Added a new -- very simple test for subgoal_property/2.

2017-12-30 22:09:46 Tree
[r9185] by tswift

A bit of code restructuring.

2017-12-30 22:06:58 Tree
[r9184] by tswift

A couple I forgot.

2017-12-30 22:03:15 Tree
[r9183] by tswift

Added gc_strings to go with gc_heap, etc. Mostly for debugging.

2017-12-30 21:53:38 Tree
[r9182] by tswift

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

2017-12-30 21:52:03 Tree
[r9181] by tswift

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

2017-12-30 21:50:35 Tree
[r9180] by "kifer"

typo

2017-12-25 20:53:37 Tree
Older >