Variables | |
| __pad0__ | |
| assert | |
| asserta | |
| assertz | |
| asserti | |
| assertai | |
| assertzi | |
| assert | __pad1__ |
| assert | retractall |
| assert | abolish |
| assert | reclaim_space |
| assert | clause |
| assert ground from | basics |
| assert ground from | db_retractall |
| assert ground from | db_abolish |
| assert ground from | db_clause |
| assert ground from | db_retract_nr |
| assert ground from db_reclaim_space from | dbclause |
| assert ground from db_reclaim_space from | permission_error |
| assert ground from db_reclaim_space from type_error from | error_handler |
| assert ground from db_reclaim_space from type_error from _ | $trie_asserted |
| assert ground from db_reclaim_space from type_error from _ | retract_trie_index |
| assert ground from db_reclaim_space from type_error from _ | retract_index |
| assert ground from db_reclaim_space from type_error from _ | retract_table |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | file_op |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | psc_type |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | psc_set_type |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | psc_arity |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | conpsc |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | assert_code_to_buff |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | assert_buff_to_clref |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | psc_set_ep |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | unload_seg |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | db_build_prref |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | db_get_prref |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from | code_call |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | machine |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | functor |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | integer |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | callable |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | goal_cut_trans |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | goal_cut_untrans |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | abort |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | check_arity_integer |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from | is_most_general_term |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from atomic from | standard |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from atomic from standard_dynamic_symbol from | std_xsb |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from atomic from standard_dynamic_symbol from xsb_sys_mutex_unlock from | thread |
| assert ground from db_reclaim_space from type_error from _ mpa_to_skel from db_retract0 from atomic from standard_dynamic_symbol from xsb_sys_mutex_unlock from | xsb_assert_hook |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.5