- u -

• UDEF : thread.d
• unify_with_occurs_check : std_pred_xsb_i.h, machine.H
• unify_with_trie_attv : tc_insts_xsb_i.h, tr_code_xsb_i.h
• unify_with_trie_list : tc_insts_xsb_i.h, tr_code_xsb_i.h
• unify_with_trie_numcon : tc_insts_xsb_i.h, tr_code_xsb_i.h
• unify_with_trie_str : tc_insts_xsb_i.h, tr_code_xsb_i.h
• unify_with_trie_val : tc_insts_xsb_i.h, tr_code_xsb_i.h
• UNIV : std_cases_xsb_i.h, builtin.h
• univarinst : tp_var.H, tp_goal.H
• unload_seg : loader_xsb.h, loader_xsb.c, machine.H, loader.H, consult.H, assert.H
• UNLOADED : thread.d, interface.h
• unmark_uninterned_nr : storage.H
• unnumbervars : num_vars.H
• UNTABLED : thread.d
• use_subsumptive_tabling : tables.H
• use_variant_tabling : tables.H
• user_home_gl : pathname_xsb.c, orient_xsb.c, init_xsb.c
• user_tables : ora_call.H
• usermod : debugger.H, typecheck.H, quad.H, sm_int.H, aggregs.H
• util : quad.H

---