[ All ECLiPSe Documentation | Reference Manual ]
ECLiPSe 7.1 Alphabetic Predicate Index
  A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z
-  ! / 0 → kernel/control
-  # / 2 → lib/fd_sets
-  # / 2 → lib/conjunto
-  # / 2 → lib/ic_sets
-  # / 2 → lib/ic_hybrid_sets
-  # / 2 → lib_public/cardinal
-  # / 3 → lib/fd
-  ## / 2 → lib/fd
-  ## / 3 → lib/fd
-  #/\ / 2 → lib/clpfd
-  #/\ / 2 → lib/fd
-  #/\ / 3 → lib/fd
-  #:: / 2 → lib/suspend
-  #:: / 2 → lib/ic
-  #:: / 2 → lib/gfd
-  #:: / 2 → lib/fd
-  #:: / 3 → lib/suspend
-  #:: / 3 → lib/ic
-  #:: / 3 → lib/gfd
-  #:: / 3 → lib/fd
-  #< / 2 → lib/suspend
-  #< / 2 → lib/ic
-  #< / 2 → lib/gfd
-  #< / 2 → lib/fd
-  #< / 3 → lib/suspend
-  #< / 3 → lib/ic
-  #< / 3 → lib/gfd
-  #< / 3 → lib/fd
-  #<= / 2 → lib/fd
-  #<= / 3 → lib/fd
-  #<== / 2 → lib/clpfd
-  #<==> / 2 → lib/clpfd
-  #<=> / 2 → lib/fd
-  #<=> / 3 → lib/fd
-  #= / 2 → lib/suspend
-  #= / 2 → lib/ic
-  #= / 2 → lib/gfd
-  #= / 2 → lib/fd
-  #= / 3 → lib/suspend
-  #= / 3 → lib/ic
-  #= / 3 → lib/gfd
-  #= / 3 → lib/fd
-  #=< / 2 → lib/suspend
-  #=< / 2 → lib/ic
-  #=< / 2 → lib/gfd
-  #=< / 3 → lib/suspend
-  #=< / 3 → lib/ic
-  #=< / 3 → lib/gfd
-  #==> / 2 → lib/clpfd
-  #=> / 2 → lib/fd
-  #=> / 3 → lib/fd
-  #> / 2 → lib/suspend
-  #> / 2 → lib/ic
-  #> / 2 → lib/gfd
-  #> / 2 → lib/fd
-  #> / 3 → lib/suspend
-  #> / 3 → lib/ic
-  #> / 3 → lib/gfd
-  #> / 3 → lib/fd
-  #>= / 2 → lib/suspend
-  #>= / 2 → lib/ic
-  #>= / 2 → lib/gfd
-  #>= / 2 → lib/fd
-  #>= / 3 → lib/suspend
-  #>= / 3 → lib/ic
-  #>= / 3 → lib/gfd
-  #>= / 3 → lib/fd
-  #\ / 1 → lib/clpfd
-  #\+ / 1 → lib/fd
-  #\+ / 2 → lib/fd
-  #\/ / 2 → lib/clpfd
-  #\/ / 2 → lib/fd
-  #\/ / 3 → lib/fd
-  #\= / 2 → lib/suspend
-  #\= / 2 → lib/ic
-  #\= / 2 → lib/gfd
-  #\= / 2 → lib/fd
-  #\= / 3 → lib/suspend
-  #\= / 3 → lib/ic
-  #\= / 3 → lib/gfd
-  #\= / 3 → lib/fd
-  $:: / 2 → lib/suspend
-  $:: / 2 → lib/ic
-  $:: / 2 → lib/eplex
-  $:: / 3 → lib/suspend
-  $:: / 3 → lib/ic
-  $< / 2 → lib/suspend
-  $< / 2 → lib/ic
-  $< / 3 → lib/suspend
-  $< / 3 → lib/ic
-  $= / 2 → lib/suspend
-  $= / 2 → lib/ic
-  $= / 2 → lib/colgen
-  $= / 2 → lib/eplex
-  $= / 3 → lib/suspend
-  $= / 3 → lib/ic
-  $=< / 2 → lib/suspend
-  $=< / 2 → lib/ic
-  $=< / 2 → lib/colgen
-  $=< / 2 → lib/eplex
-  $=< / 3 → lib/suspend
-  $=< / 3 → lib/ic
-  $> / 2 → lib/suspend
-  $> / 2 → lib/ic
-  $> / 3 → lib/suspend
-  $> / 3 → lib/ic
-  $>= / 2 → lib/suspend
-  $>= / 2 → lib/ic
-  $>= / 2 → lib/colgen
-  $>= / 2 → lib/eplex
-  $>= / 3 → lib/suspend
-  $>= / 3 → lib/ic
-  $\= / 2 → lib/suspend
-  $\= / 2 → lib/ic
-  $\= / 3 → lib/suspend
-  $\= / 3 → lib/ic
-  & / 2 → lib/par_util
-  &:: / 2 → lib/ic_symbolic
-  &:: / 2 → lib/sd
-  &< / 2 → lib/ic_symbolic
-  &< / 3 → lib/ic_symbolic
-  &= / 2 → lib/ic_symbolic
-  &= / 2 → lib/sd
-  &= / 3 → lib/ic_symbolic
-  &= / 3 → lib/sd
-  &=< / 2 → lib/ic_symbolic
-  &=< / 3 → lib/ic_symbolic
-  &> / 2 → lib/ic_symbolic
-  &> / 3 → lib/ic_symbolic
-  &>= / 2 → lib/ic_symbolic
-  &>= / 3 → lib/ic_symbolic
-  &\= / 2 → lib/ic_symbolic
-  &\= / 2 → lib/sd
-  &\= / 3 → lib/ic_symbolic
-  &\= / 3 → lib/sd
-  * / 3 → kernel/arithmetic
-  *-> / 2 → kernel/control
-  + / 2 → kernel/arithmetic
-  + / 3 → kernel/arithmetic
-  +\ / 2 → lib_public/lambda
-  +\ / 3 → lib_public/lambda
-  +\ / 4 → lib_public/lambda
-  +\ / 5 → lib_public/lambda
-  +\ / 6 → lib_public/lambda
-  +\ / 7 → lib_public/lambda
-  , / 2 → kernel/control
-  - / 2 → kernel/arithmetic
-  - / 3 → kernel/arithmetic
-  -> / 2 → kernel/control
-  -?-> / 1 → kernel/control
-  . / 2 → kernel/compiler
-  . / 3 → lib/cprolog
-  / / 3 → kernel/arithmetic
-  // / 3 → kernel/arithmetic
-  /\ / 3 → kernel/arithmetic
-  : / 2 → kernel/control
-  :: / 2 → lib/fd_sets
-  :: / 2 → lib/suspend
-  :: / 2 → lib/ic_sets
-  :: / 2 → lib/ic
-  :: / 2 → lib/gfd
-  :: / 2 → lib/ic_hybrid_sets
-  :: / 2 → lib/fd
-  :: / 3 → lib/suspend
-  :: / 3 → lib/ic
-  :: / 3 → lib/gfd
-  :: / 3 → lib/fd
-  :~ / 2 → lib/tentative
-  ; / 2 → kernel/control
-  < / 2 → kernel/arithmetic
-  < / 2 → lib/iso_light
-  < / 2 → lib/suspend
-  < / 2 → lib/iso_strict
-  < / 2 → lib/ic
-  < / 3 → lib/suspend
-  << / 3 → kernel/arithmetic
-  <=> / 2 → lib/ic
-  <=> / 2 → lib/gfd
-  <=> / 3 → lib/ic
-  <=> / 3 → lib/gfd
-  = / 2 → kernel/termcomp
-  =.. / 2 → kernel/termmanip
-  =:= / 2 → kernel/arithmetic
-  =:= / 2 → lib/iso_light
-  =:= / 2 → lib/suspend
-  =:= / 2 → lib/iso_strict
-  =:= / 2 → lib/ic
-  =:= / 3 → lib/suspend
-  =< / 2 → kernel/arithmetic
-  =< / 2 → lib/iso_light
-  =< / 2 → lib/suspend
-  =< / 2 → lib/iso_strict
-  =< / 2 → lib/ic
-  =< / 3 → lib/suspend
-  == / 2 → kernel/termcomp
-  => / 2 → lib/suspend
-  => / 2 → lib/ic
-  => / 2 → lib/gfd
-  => / 2 → lib/eplex
-  => / 3 → lib/suspend
-  => / 3 → lib/ic
-  => / 3 → lib/gfd
-  =@= / 2 → lib/swi
-  =\= / 2 → kernel/arithmetic
-  =\= / 2 → lib/iso_light
-  =\= / 2 → lib/suspend
-  =\= / 2 → lib/iso_strict
-  =\= / 2 → lib/ic
-  =\= / 3 → lib/suspend
-  > / 2 → kernel/arithmetic
-  > / 2 → lib/iso_light
-  > / 2 → lib/suspend
-  > / 2 → lib/iso_strict
-  > / 2 → lib/ic
-  > / 3 → lib/suspend
-  >= / 2 → kernel/arithmetic
-  >= / 2 → lib/iso_light
-  >= / 2 → lib/suspend
-  >= / 2 → lib/iso_strict
-  >= / 2 → lib/ic
-  >= / 3 → lib/suspend
-  >> / 3 → kernel/arithmetic
-  ?= / 2 → lib/swi
-  @ / 2 → kernel/control
-  @< / 2 → kernel/termcomp
-  @=< / 2 → kernel/termcomp
-  @> / 2 → kernel/termcomp
-  @>= / 2 → kernel/termcomp
-  \ / 1 → lib_public/lambda
-  \ / 2 → kernel/arithmetic
-  \ / 2 → lib_public/lambda
-  \ / 3 → lib_public/lambda
-  \ / 4 → lib_public/lambda
-  \ / 5 → lib_public/lambda
-  \ / 6 → lib_public/lambda
-  \ / 7 → lib_public/lambda
-  \+ / 1 → kernel/control
-  \/ / 3 → kernel/arithmetic
-  \= / 2 → kernel/termcomp
-  \== / 2 → kernel/termcomp
-  \=@= / 2 → lib/swi
-  ^ / 2 → kernel/control
-  ^ / 3 → kernel/arithmetic
-  ^ / 3 → lib_public/lambda
-  ^ / 4 → lib_public/lambda
-  ^ / 5 → lib_public/lambda
-  ^ / 6 → lib_public/lambda
-  ^ / 7 → lib_public/lambda
-  ^ / 8 → lib_public/lambda
-  ^ / 9 → lib_public/lambda
-  `$ / 2 → lib_public/cardinal
-  `-@ / 2 → lib_public/cardinal
-  `/= / 2 → lib_public/cardinal
-  `:: / 2 → lib/conjunto_fd_sets
-  `:: / 2 → lib/conjunto
-  `:: / 2 → lib_public/cardinal
-  `< / 2 → lib/conjunto_fd_sets
-  `< / 2 → lib/conjunto
-  `< / 2 → lib_public/cardinal
-  `<> / 2 → lib/conjunto_fd_sets
-  `<> / 2 → lib/conjunto
-  `<> / 2 → lib_public/cardinal
-  `= / 2 → lib/conjunto_fd_sets
-  `= / 2 → lib/conjunto
-  `= / 2 → lib_public/cardinal
-  `>= / 2 → lib_public/cardinal
-  `@ / 2 → lib_public/cardinal
-  ~ / 1 → kernel/control
-  ~= / 2 → kernel/termcomp
-  ~= / 2 → lib/notinstance
-  ~=< / 2 → lib/notinstance
-  abolish / 1 → kernel/compiler
-  abolish / 1 → lib/iso_light
-  abolish / 1 → lib/quintus
-  abolish / 2 → lib/cprolog
-  abolish / 2 → lib/sepia
-  abolish / 2 → lib/quintus
-  abolish_body / 3 → lib/sepia
-  abolish_op / 2 → kernel/obsolete
-  abolish_record / 1 → kernel/obsolete
-  abort / 0 → kernel/control
-  abs / 2 → kernel/arithmetic
-  absolute_file_name / 2 → lib/quintus
-  ac_eq / 3 → lib/ic
-  accept / 3 → kernel/iostream
-  acos / 2 → kernel/arithmetic
-  acyclic_term / 1 → kernel/typetest
-  add_attribute / 2 → kernel/termmanip
-  add_attribute / 3 → kernel/termmanip
-  add_con / 3 → lib/probe
-  add_con / 3 → lib/ic_probe
-  add_path / 1 → lib/util
-  add_suffix / 1 → lib/util
-  add_to_heap / 4 → lib/heaps
-  add_visualizer / 3 → lib_public/visualization
-  after_event_timer → kernel/env
-  aggregate_result / 1 → lib/instprofile
-  alarm / 1 → kernel/opsys
-  all_different / 1 → lib/clpfd
-  all_disjoint / 1 → lib/fd_sets
-  all_disjoint / 1 → lib/conjunto
-  all_disjoint / 1 → lib/ic_sets
-  all_disjoint / 1 → lib/ic_hybrid_sets
-  all_disjoint / 1 → lib_public/cardinal
-  all_disjoint / 1 → lib_public/fzn_fd
-  all_disjoint / 1 → lib_public/fzn_ic
-  all_distinct / 1 → lib/clpfd
-  all_eq / 2 → lib/gfd
-  all_ge / 2 → lib/gfd
-  all_gt / 2 → lib/gfd
-  all_intersection / 2 → lib/fd_sets
-  all_intersection / 2 → lib/ic_sets
-  all_intersection / 2 → lib/ic_hybrid_sets
-  all_le / 2 → lib/gfd
-  all_lt / 2 → lib/gfd
-  all_min_cuts / 8 → lib_public/all_min_cuts
-  all_min_cuts / 9 → lib_public/all_min_cuts
-  all_min_cuts → lib_public/all_min_cuts
-  all_min_cuts_eplex / 7 → lib_public/all_min_cuts_eplex
-  all_min_cuts_eplex / 8 → lib_public/all_min_cuts_eplex
-  all_min_cuts_eplex → lib_public/all_min_cuts_eplex
-  all_min_cuts_list / 5 → lib_public/all_min_cuts
-  all_ne / 2 → lib/gfd
-  all_ordered / 2 → lib/ic_hybrid_sets
-  all_same_length / 1 → lib/lists
-  all_same_length / 2 → lib/lists
-  all_short_paths_as_edges / 6 → lib/graph_algorithms
-  all_short_paths_as_graph / 6 → lib/graph_algorithms
-  all_solutions / 1 → lib/ic_gap_sbdd
-  all_solutions / 1 → lib/ic_gap_sbds
-  all_solutions / 2 → lib/ic_gap_sbdd
-  all_solutions / 2 → lib/ic_gap_sbds
-  all_union / 2 → lib/fd_sets
-  all_union / 2 → lib/conjunto
-  all_union / 2 → lib/ic_sets
-  all_union / 2 → lib/ic_hybrid_sets
-  all_union / 2 → lib_public/cardinal
-  all_union_lex / 2 → lib/ic_hybrid_sets
-  alldifferent / 1 → lib/ic
-  alldifferent / 1 → lib/ic_symbolic
-  alldifferent / 1 → lib/gfd
-  alldifferent / 1 → lib/sd
-  alldifferent / 1 → lib/fd_global
-  alldifferent / 1 → lib/ic_global
-  alldifferent / 1 → lib/fd
-  alldifferent / 1 → lib_public/fd_global_gac
-  alldifferent / 1 → lib_public/ic_global_gac
-  alldifferent / 2 → lib/ic_symbolic
-  alldifferent / 2 → lib/fd_global
-  alldifferent / 2 → lib/ic_global
-  alldifferent_cst / 2 → lib/ic
-  alldifferent_cst / 2 → lib/gfd
-  alldifferent_matrix / 1 → lib/fd_global
-  alldifferent_matrix / 1 → lib/ic_global
-  alldifferent_matrix / 1 → lib_public/fd_global_gac
-  alldifferent_matrix / 1 → lib_public/ic_global_gac
-  alldifferent_t / 2 → lib/tentative_constraints
-  alldifferent_t / 3 → lib/tentative_constraints
-  alldistinct / 1 → lib/fd
-  allsols → kernel/allsols
-  als / 1 → kernel/compiler
-  among / 4 → lib/gfd
-  analyse / 1 → lib/mode_analyser
-  and / 2 → lib/suspend
-  and / 2 → lib/ic
-  and / 2 → lib/gfd
-  and / 3 → lib/suspend
-  and / 3 → lib/ic
-  and / 3 → lib/gfd
-  and_to_list / 2 → lib_public/flat
-  anti_unify / 3 → lib/anti_unify
-  anti_unify → lib/anti_unify
-  append / 2 → lib/lists
-  append / 3 → lib/lists
-  append_element / 3 → lib_public/list_collection
-  append_list / 3 → lib_public/list_collection
-  append_strings / 3 → kernel/stratom
-  applic → lib_public/applic
-  appliedpos / 2 → lib/ech
-  applist / 2 → lib/apply_macros
-  apply / 2 → lib/apply
-  apply / 2 → lib_public/applic
-  apply → lib/apply
-  apply_ / 3 → lib/apply
-  apply_macros → lib/apply_macros
-  apply_to_list / 3 → lib_public/m_map
-  appnodes / 2 → lib/apply_macros
-  aref / 3 → lib_public/logarr
-  arefa / 3 → lib_public/logarr
-  arefl / 3 → lib_public/logarr
-  arg / 3 → kernel/termmanip
-  arg / 3 → lib/cprolog
-  arg / 3 → lib/quintus
-  argc / 1 → kernel/opsys
-  args / 3 → lib/lists_of_structures
-  argument_number / 4 → lib_public/vis_structures
-  argv / 2 → kernel/opsys
-  arithmetic → kernel/arithmetic
-  arity / 2 → kernel/termmanip
-  array / 1 → kernel/storage
-  array / 2 → kernel/storage
-  array / 3 → lib/sepia
-  array_body / 4 → lib/sepia
-  array_concat / 3 → kernel/termmanip
-  array_flat / 3 → kernel/termmanip
-  array_length / 2 → lib_public/arrays
-  array_list / 2 → kernel/termmanip
-  array_sort / 4 → kernel/termcomp
-  array_to_list / 2 → lib_public/arrays
-  array_to_list / 2 → lib_public/logarr
-  arrays → lib_public/arrays
-  articulation_points / 2 → lib/graph_algorithms
-  aset / 4 → lib_public/logarr
-  asin / 2 → kernel/arithmetic
-  asm / 2 → lib/asm
-  asm / 3 → lib/asm
-  asm → lib/asm
-  assert / 1 → kernel/dynamic
-  asserta / 1 → kernel/dynamic
-  asserta / 1 → lib/iso_light
-  assertz / 1 → kernel/dynamic
-  assertz / 1 → lib/iso_light
-  assoc → lib_public/assoc
-  assoc_list_to_tree234 / 2 → lib_public/m_tree234
-  assoc_to_keys / 2 → lib_public/assoc
-  assoc_to_list / 2 → lib_public/assoc
-  assoc_to_values / 2 → lib_public/assoc
-  asymmetric / 1 → lib_public/grasper
-  at / 2 → kernel/iostream
-  at_end_of_stream / 0 → lib/iso_light
-  at_end_of_stream / 1 → lib/iso_light
-  at_eof / 1 → kernel/iostream
-  atan / 2 → kernel/arithmetic
-  atan / 3 → kernel/arithmetic
-  atleast / 3 → lib/gfd
-  atleast / 3 → lib/fd_global
-  atleast / 3 → lib/ic_global
-  atmost / 3 → lib/ic_symbolic
-  atmost / 3 → lib/gfd
-  atmost / 3 → lib/fd_global
-  atmost / 3 → lib/ic_global
-  atmost / 3 → lib/fd
-  atom / 1 → kernel/typetest
-  atom_chars / 2 → lib/iso_light
-  atom_chars / 2 → lib/quintus
-  atom_codes / 2 → lib/iso_light
-  atom_concat / 3 → lib/iso_light
-  atom_length / 2 → kernel/stratom
-  atom_length / 2 → lib/iso_light
-  atom_string / 2 → kernel/stratom
-  atom_subscripts → kernel/env
-  atomic / 1 → kernel/typetest
-  atomics_to_string / 2 → kernel/stratom
-  atomics_to_string / 3 → kernel/stratom
-  attach_suspensions / 2 → kernel/suspensions
-  attach_tools / 0 → lib/remote_tools
-  attach_tools / 3 → lib/remote_tools
-  attached / 1 → lib/remote_tools
-  attached_suspensions / 2 → kernel/suspensions
-  attribute / 1 → lib/atts
-  attribute declaration → kernel/termmanip
-  atts → lib/atts
-  atts_handlers_init / 0 → lib/atts
-  atts_subset / 3 → lib/atts
-  attvar / 1 → lib/dynamic_attributes
-  autoload / 2 → kernel/obsolete
-  autoload_tool / 2 → kernel/obsolete
-  b_external / 1 → kernel/obsolete
-  b_external / 2 → kernel/obsolete
-  bag_abolish / 1 → kernel/storage
-  bag_count / 2 → kernel/storage
-  bag_create / 1 → kernel/storage
-  bag_dissolve / 2 → kernel/storage
-  bag_enter / 2 → kernel/storage
-  bag_erase / 1 → kernel/storage
-  bag_inter / 3 → lib_public/bags
-  bag_retrieve / 2 → kernel/storage
-  bag_to_list / 2 → lib_public/bags
-  bag_to_set / 2 → lib_public/bags
-  bag_union / 3 → lib_public/bags
-  bagmax / 2 → lib_public/bags
-  bagmin / 2 → lib_public/bags
-  bagof / 3 → kernel/allsols
-  bags → lib_public/bags
-  bar_is_no_atom → kernel/env
-  bar_is_semicolon → kernel/env
-  based_bignums → kernel/env
-  bb_cost / 2 → lib/branch_and_bound
-  bb_finish / 1 → lib/branch_and_bound
-  bb_inf / 3 → lib/mip
-  bb_inf / 4 → lib/mip
-  bb_init / 2 → lib/branch_and_bound
-  bb_min / 3 → lib/branch_and_bound
-  bb_min / 6 → lib/branch_and_bound
-  bb_min_cost / 4 → lib/branch_and_bound
-  bb_options / struct → lib/branch_and_bound
-  bb_probe / 7 → lib/branch_and_bound
-  bb_solution / 2 → lib/branch_and_bound
-  begin_module / 1 → kernel/obsolete
-  best-first search → lib/best_first_search
-  best_first_search → lib/best_first_search
-  between / 3 → lib/swi
-  between / 3 → lib/util
-  between / 3 → lib_public/between
-  between / 4 → kernel/arithmetic
-  between → lib_public/between
-  bfs → lib/bfs
-  bfs_branch / 1 → lib/bfs
-  bfs_branch / 2 → lib/bfs
-  bfs_branch / 3 → lib/bfs
-  bfs_deg_est / 2 → lib/bfs
-  bfs_enhanced / 2 → lib/bfs
-  bfs_fracvar / 1 → lib/bfs
-  bfs_get / 3 → lib/bfs
-  bfs_global_cut / 2 → lib/bfs
-  bfs_impose_node_state / 2 → lib/bfs
-  bfs_instance / 1 → lib/bfs
-  bfs_integers / 2 → lib/bfs
-  bfs_minimize / 3 → lib/best_first_search
-  bfs_minimize / 4 → lib/best_first_search
-  bfs_minimize_eplex_node / 2 → lib/bfs
-  bfs_node_cost / 2 → lib/bfs
-  bfs_node_info / 3 → lib/bfs
-  bfs_node_info / 6 → lib/bfs
-  bfs_set / 3 → lib/bfs
-  bfs_solve / 2 → lib/bfs
-  bfs_solver_setup / 3 → lib/bfs
-  bfs_solver_setup / 4 → lib/bfs
-  bfs_statistics / 1 → lib/bfs
-  bfs_strong / 2 → lib/bfs
-  bfs_update_pseudocosts / 1 → lib/bfs
-  bfs_var_get / 4 → lib/bfs
-  biconnected_components / 3 → lib/graph_algorithms
-  bin_packing / 3 → lib/gfd
-  bin_packing / 3 → lib/fd_global
-  bin_packing / 3 → lib/ic_global
-  bin_packing / 4 → lib/gfd
-  bin_packing / 4 → lib/fd_global
-  bin_packing / 4 → lib/ic_global
-  bin_packing_g / 3 → lib/gfd
-  bin_packing_md / 3 → lib/gfd
-  bin_packing_md / 4 → lib/gfd
-  binary_to_list / 4 → lib_public/flat
-  binary_to_list / 5 → lib_public/flat
-  bind / 2 → kernel/iostream
-  bipartite matching → lib/graph_algorithms
-  blanks_after_sign → kernel/env
-  blanks_in_nil → kernel/env
-  block / 1 → lib/sicstus
-  block / 3 → kernel/obsolete
-  bool_channeling / 3 → lib/gfd
-  bool_channeling / 3 → lib/fd_global
-  bool_channeling / 3 → lib/ic_global
-  branch-and-bound → lib/branch_and_bound
-  branch-and-bound → lib/best_first_search
-  branch_and_bound → lib/branch_and_bound
-  break / 0 → lib/toplevel
-  break / 0 → lib/quintus
-  break_level → kernel/env
-  breal / 1 → kernel/typetest
-  breal / 2 → kernel/arithmetic
-  breal_bounds / 3 → kernel/arithmetic
-  breal_from_bounds / 3 → kernel/arithmetic
-  breal_max / 2 → kernel/arithmetic
-  breal_min / 2 → kernel/arithmetic
-  bsi / 0 → lib/sepia
-  bsi / 1 → lib/sepia
-  byte_count / 2 → lib/swi
-  bytes → kernel/stratom
-  bytes_to_term / 2 → kernel/termmanip
-  C / 3 → kernel/termmanip
-  c_compile_and_load / 1 → lib/util
-  calendar → lib/calendar
-  call / 1 → kernel/control
-  call / 2 → kernel/obsolete
-  call → kernel/control
-  call_c / 2 → kernel/externals
-  call_explicit / 2 → kernel/obsolete
-  call_graph / 3 → lib/xref
-  call_priority / 2 → kernel/suspensions
-  call_residue / 2 → lib/sicstus
-  call_satisfied_constraints / 0 → lib/repair
-  call_timeout_safe / 1 → lib/timeout
-  callable / 1 → kernel/typetest
-  callable / 1 → lib_public/applic
-  cancel_after_event / 1 → kernel/obsolete
-  cancel_after_event / 2 → kernel/event
-  canonical_iset / 2 → lib_public/intervals
-  canonical_path_name / 2 → kernel/opsys
-  card_labeling / 1 → lib_public/cardinal
-  cardinal → lib_public/cardinal
-  cardinal / struct → lib_public/cardinal
-  cardinality / 2 → lib_public/cardinal
-  catch / 3 → kernel/control
-  ccompile / 1 → lib/coverage
-  ccompile / 2 → lib/coverage
-  cd / 1 → kernel/opsys
-  cdeletethreshold / 2 → lib/ech
-  ceiling / 2 → kernel/arithmetic
-  cg_subproblem_solution / 1 → lib/colgen
-  cgi → lib/cgi
-  chain / 2 → lib/clpfd
-  changeset → lib/changeset
-  char_code / 2 → kernel/termmanip
-  char_conversion / 2 → lib/iso_light
-  char_int / 2 → kernel/obsolete
-  character_count / 2 → lib/swi
-  character_count / 2 → lib/quintus
-  chars → kernel/stratom
-  check_pairapplied / 6 → lib/ech
-  check_pairapplied_direct / 6 → lib/ech
-  check_pairapplied_directmarked / 8 → lib/ech
-  check_samepairapplied / 6 → lib/ech
-  check_samepairapplied_direct / 6 → lib/ech
-  check_samepairapplied_directmarked / 8 → lib/ech
-  checkand / 2 → lib_public/applic
-  checkbag / 2 → lib_public/bags
-  checklist / 2 → lib/apply_macros
-  checklist / 2 → lib/lists
-  checklist / 2 → lib_public/applic
-  chr / 1 → lib/ech
-  chr / 1 → lib/chr
-  chr / 2 → lib/ech
-  chr → lib/chr
-  CHR= / 2 → lib/chr
-  chr_delayed_goals_handler / 3 → lib/chr
-  chr_get_constraint / 1 → lib/ech
-  chr_get_constraint / 1 → lib/chr
-  chr_get_constraint / 2 → lib/ech
-  chr_get_constraint / 2 → lib/chr
-  chr_get_gconstraint / 2 → lib/ech
-  chr_get_vconstraint / 3 → lib/ech
-  chr_label_with / 1 → lib/chr
-  chr_labeling / 0 → lib/chr
-  chr_notrace / 0 → lib/chr
-  chr_opium / 0 → lib/chr
-  chr_resolve / 1 → lib/chr
-  chr_start_handler / 3 → lib/chr
-  chr_trace / 0 → lib/chr
-  chr2pl / 1 → lib/chr
-  CHRalready_in / 1 → lib/chr
-  CHRcheck_and_mark_applied / 2 → lib/chr
-  CHRcheck_and_mark_applied / 5 → lib/chr
-  CHRdelay / 2 → lib/chr
-  CHRfail / 0 → lib/chr
-  CHRgen_num / 1 → lib/chr
-  CHRget_delayed_goals / 2 → lib/chr
-  CHRhead_not_kept / 1 → lib/chr
-  CHRkeep_heads_checking / 4 → lib/chr
-  CHRkeep_heads_checking / 6 → lib/chr
-  CHRkill / 1 → lib/chr
-  CHRnonvar / 1 → lib/chr
-  CHRvar / 1 → lib/chr
-  chtab / 2 → kernel/modules
-  chtab / 2 → kernel/modules
-  chtab / 2 → kernel/modules
-  chtab → kernel/syntax
-  cio → lib/cio
-  circuit / 1 → lib/ic
-  circuit / 1 → lib/gfd
-  circuit / 3 → lib/gfd
-  circuit / 4 → lib/gfd
-  circuit_g / 1 → lib/gfd
-  circuit_g / 3 → lib/gfd
-  circuit_g / 4 → lib/gfd
-  circuit_offset / 2 → lib/gfd
-  circuit_offset / 4 → lib/gfd
-  circuit_offset / 5 → lib/gfd
-  circuit_offset_g / 2 → lib/gfd
-  circuit_offset_g / 4 → lib/gfd
-  circuit_offset_g / 5 → lib/gfd
-  clause / 1 → kernel/dynamic
-  clause / 2 → kernel/dynamic
-  clause / 2 → lib/iso_light
-  close / 1 → kernel/iostream
-  close / 2 → kernel/iostream
-  close_delta_file / 0 → lib/instprofile
-  close_sender / 1 → lib/notify_ports
-  close_sender / 2 → lib/notify_ports
-  close_visualization / 1 → lib_public/visualization
-  clpfd → lib/clpfd
-  clrbit / 3 → kernel/arithmetic
-  coca / 1 → lib/chr
-  codes → kernel/stratom
-  colgen → lib/colgen
-  colgen_instance / 1 → lib/colgen
-  collate_time_logs / 4 → lib/time_log
-  collect_all_pool_constraints / 2 → lib/constraint_pools
-  collect_typed_pool_constraints / 3 → lib/constraint_pools
-  collection_to_list / 2 → lib/eclipse_6
-  collection_to_list / 2 → lib/lists
-  comment / 2 → kernel/directives
-  comment_to_html / 2 → lib/document
-  compare / 3 → kernel/termcomp
-  compare_instances / 3 → kernel/termcomp
-  compile / 1 → kernel/compiler
-  compile / 2 → kernel/compiler
-  compile_pattern / 3 → lib/regex
-  compile_selection / 0 → lib/util
-  compile_stream / 1 → kernel/compiler
-  compile_term / 1 → kernel/compiler
-  compile_term / 2 → kernel/compiler
-  compile_term_annotated / 3 → kernel/compiler
-  compiled / 0 → lib/util
-  compiled_file / 2 → lib/sepia
-  compiled_stream / 1 → kernel/compiler
-  compiler → kernel/compiler
-  complement / 2 → lib_public/cardinal
-  complement / 3 → lib_public/cardinal
-  complementary_graph / 2 → lib_public/grasper
-  compose / 3 → lib_public/graphs
-  compound / 1 → kernel/typetest
-  concat / 2 → lib/matrix_util
-  concat_atom / 2 → kernel/stratom
-  concat_atoms / 3 → kernel/stratom
-  concat_string / 2 → kernel/stratom
-  concat_strings / 3 → kernel/stratom
-  concurrency → lib/concurrency
-  concurrent / 3 → lib/concurrency
-  concurrent_or / 3 → lib/concurrency
-  condition_signal / 2 → kernel/engines
-  condition_wait / 2 → kernel/engines
-  Conditional → kernel/control
-  Conditional → kernel/control
-  config_opts → lib/config_opts
-  conflict_constraints / 1 → lib/repair
-  conflict_constraints / 2 → lib/repair
-  conflict_vars / 1 → lib/repair
-  conjunto → lib/conjunto
-  conjunto_fd_sets → lib/conjunto_fd_sets
-  connect / 2 → kernel/iostream
-  connected / 1 → lib_public/grasper
-  connected_components / 2 → lib/graph_algorithms
-  constraint_pools → lib/constraint_pools
-  constraintnumpos / 2 → lib/ech
-  constraints / 1 → lib/ech
-  constraints / 2 → lib/ech
-  constraints_number / 2 → lib/fd
-  construct_group / 8 → lib/sym_expr
-  consult / 1 → lib/cprolog
-  contains / 2 → lib_public/m_map
-  contains / 2 → lib_public/occur
-  control → kernel/control
-  convert_time / 2 → lib/swi
-  convlist / 3 → lib_public/applic
-  copy / 2 → lib_public/metutl
-  copy_ground / 3 → lib_public/struct
-  copy_term / 2 → kernel/termmanip
-  copy_term / 3 → kernel/termmanip
-  copy_term / 3 → lib/dynamic_attributes
-  copy_term handler → kernel/termmanip
-  copy_term_nat / 2 → lib/dynamic_attributes
-  copy_term_vars / 3 → kernel/termmanip
-  copysign / 3 → kernel/arithmetic
-  coroutine / 0 → kernel/obsolete
-  coroutine → kernel/env
-  correspond / 4 → lib_public/listut
-  cos / 2 → kernel/arithmetic
-  count / 2 → lib_public/m_map
-  count / 2 → lib_public/m_tree234
-  count / 4 → lib/gfd
-  count → kernel/control
-  count_matches / 4 → lib/gfd
-  coverage → lib/coverage
-  coverof / 3 → kernel/allsols
-  cprolog / 0 → lib/sepia
-  cprolog / 1 → lib/sepia
-  cprolog → lib/cprolog
-  cputime / 1 → kernel/opsys
-  cpviz → lib_public/cpviz
-  create / 2 → lib_public/list_collection
-  create_applied / 2 → lib/ech
-  create_constraint_pool / 3 → lib/constraint_pools
-  create_module / 1 → kernel/modules
-  create_module / 3 → kernel/modules
-  create_visualization / 2 → lib_public/visualization
-  critical_links / 2 → lib/graph_algorithms
-  cs_all / 2 → lib/tentative
-  cs_all_violated / 2 → lib/tentative
-  cs_all_worst / 2 → lib/tentative
-  cs_clear_all / 1 → lib/tentative
-  cs_clear_satisfied / 1 → lib/tentative
-  cs_create / 2 → lib/tentative
-  cs_current_violations / 2 → lib/tentative
-  cs_random_violated / 2 → lib/tentative
-  cs_random_worst / 2 → lib/tentative
-  cs_violations / 2 → lib/tentative
-  csv → lib/csv
-  csv_options / 2 → lib/csv
-  csv_options / struct → lib/csv
-  csv_read / 3 → lib/csv
-  csv_read_row / 2 → lib/csv
-  csv_read_row / 3 → lib/csv
-  cumulative / 2 → lib/clpfd
-  cumulative / 4 → lib/ic_edge_finder
-  cumulative / 4 → lib/ic_edge_finder3
-  cumulative / 4 → lib/gfd
-  cumulative / 4 → lib/edge_finder
-  cumulative / 4 → lib/edge_finder3
-  cumulative / 4 → lib/cumulative
-  cumulative / 4 → lib/ic_cumulative
-  cumulative / 5 → lib/ic_edge_finder
-  cumulative / 5 → lib/ic_edge_finder3
-  cumulative / 5 → lib/edge_finder
-  cumulative / 5 → lib/edge_finder3
-  cumulative → lib/cumulative
-  cumulative_optional / 5 → lib/gfd
-  cumulatives / 5 → lib/gfd
-  cumulatives_g / 5 → lib/gfd
-  cumulatives_min / 5 → lib/gfd
-  cumulatives_min_g / 5 → lib/gfd
-  curly_args_as_list → kernel/env
-  current_after_event / 1 → kernel/obsolete
-  current_after_events / 1 → kernel/event
-  current_array / 2 → kernel/storage
-  current_array / 3 → lib/sepia
-  current_array_body / 4 → lib/sepia
-  current_atom / 1 → kernel/typetest
-  current_built_in / 1 → kernel/compiler
-  current_char_conversion / 2 → lib/iso_light
-  current_compiled_file / 3 → kernel/compiler
-  current_domain / 3 → kernel/termcomp
-  current_error / 1 → kernel/event
-  current_flag / 1 → lib/swi
-  current_functor / 1 → kernel/typetest
-  current_functor / 2 → lib/swi
-  current_functor / 2 → lib/cprolog
-  current_host / 1 → lib/sockets
-  current_input / 1 → lib/iso_light
-  current_input / 1 → lib/quintus
-  current_interrupt / 2 → kernel/event
-  current_key / 2 → lib/quintus
-  current_macro / 4 → kernel/syntax
-  current_module / 1 → kernel/modules
-  current_module / 2 → lib/quintus
-  current_module_predicate / 2 → kernel/compiler
-  current_op / 3 → kernel/syntax
-  current_op / 3 → lib/iso_light
-  current_output / 1 → lib/iso_light
-  current_output / 1 → lib/quintus
-  current_pragma / 1 → kernel/compiler
-  current_predicate / 1 → kernel/compiler
-  current_predicate / 2 → lib/swi
-  current_predicate / 2 → lib/cprolog
-  current_prolog_flag / 2 → lib/iso_light
-  current_prolog_flag / 2 → lib/iso_strict
-  current_record / 1 → kernel/record
-  current_signal / 3 → lib/swi
-  current_store / 1 → kernel/storage
-  current_stream / 1 → kernel/iostream
-  current_stream / 3 → kernel/obsolete
-  current_struct / 1 → kernel/obsolete
-  current_struct / 2 → kernel/syntax
-  current_suspension / 1 → kernel/suspensions
-  current_trigger / 1 → kernel/suspensions
-  cursor / struct → lib/dbi
-  cursor_all_execute / 2 → lib/dbi
-  cursor_all_tuples / 2 → lib/dbi
-  cursor_close / 1 → lib/dbi
-  cursor_N_execute / 4 → lib/dbi
-  cursor_N_tuples / 4 → lib/dbi
-  cursor_next_execute / 2 → lib/dbi
-  cursor_next_execute / 3 → lib/dbi
-  cursor_next_tuple / 2 → lib/dbi
-  Cut → kernel/control
-  cwd → kernel/env
-  cwd_scope → kernel/env
-  cycle / 3 → lib_public/cycle
-  cycle / 4 → lib_public/cycle
-  cycle → lib_public/cycle
-  cyclic term → kernel/typetest
-  cyclic_term / 1 → lib/swi
-  date / 1 → kernel/opsys
-  date and time → lib/calendar
-  date_to_mjd / 2 → lib/calendar
-  daVinci → lib/daVinci
-  daVinci_begin / 0 → lib/daVinci
-  daVinci_draw_graph / 1 → lib/daVinci
-  daVinci_edge / 3 → lib/daVinci
-  daVinci_edge_attribute / 3 → lib/daVinci
-  daVinci_end / 0 → lib/daVinci
-  daVinci_exit / 0 → lib/daVinci
-  daVinci_node / 1 → lib/daVinci
-  daVinci_node / 2 → lib/daVinci
-  daVinci_node_attribute / 3 → lib/daVinci
-  db_reference / 1 → lib/cprolog
-  dbgcomp / 0 → kernel/obsolete
-  dbi → lib/dbi
-  debug / 0 → kernel/debug
-  debug / 1 → kernel/debug
-  debug → kernel/directives
-  debug → kernel/compiler
-  debug → kernel/debug
-  debug_compile → kernel/env
-  debug_reset / 0 → kernel/debug
-  debugging / 0 → kernel/debug
-  debugging → kernel/env
-  declare_externals / 1 → lib/foreign
-  declare_externals / 2 → lib/foreign
-  decval / 1 → kernel/storage
-  default_domain / 1 → lib/fd
-  default_language → kernel/env
-  define_error / 2 → kernel/obsolete
-  define_global_macro / 3 → lib/sepia
-  define_global_macro_ / 4 → lib/sepia
-  define_local_macro / 3 → lib/sepia
-  define_macro / 3 → kernel/obsolete
-  defined_modules / 2 → lib/instrument
-  del_attr / 2 → lib/dynamic_attributes
-  del_attrs / 1 → lib/dynamic_attributes
-  delay / 2 → kernel/obsolete
-  delay / 2 → lib/sepia
-  delayed_goals / 1 → kernel/suspensions
-  delayed_goals / 2 → kernel/suspensions
-  delayed_goals_handler / 3 → lib/toplevel
-  delayed_goals_number / 2 → kernel/suspensions
-  delayed_goals_number / 2 → lib/ic
-  delayed_goals_number / 2 → lib/ic_kernel
-  delayed_goals_number handler → kernel/termmanip
-  delete / 1 → kernel/opsys
-  delete / 3 → lib/lists
-  delete / 3 → lib_public/m_map
-  delete / 3 → lib_public/listut
-  delete / 3 → lib_public/m_tree234
-  delete / 5 → lib/fd_search
-  delete / 5 → lib/gfd_search
-  delete / 5 → lib/ic
-  delete_list / 3 → lib_public/m_map
-  deleteff / 3 → lib/sd
-  deleteff / 3 → lib/fd
-  deleteffc / 3 → lib/fd
-  deletemin / 3 → lib/fd
-  delinearize / 2 → lib/linearize
-  demon / 1 → kernel/compiler
-  demon_suspend / 4 → lib/probe_support
-  demon_suspend / 4 → lib/ic_probe_support
-  denominator / 2 → kernel/arithmetic
-  deprecated / 2 → kernel/compiler
-  deprecated → kernel/compiler
-  det_insert / 4 → lib_public/m_map
-  det_insert_from_assoc_list / 3 → lib_public/m_map
-  det_insert_from_corresponding_lists / 4 → lib_public/m_map
-  det_remove / 4 → lib_public/m_map
-  det_update / 4 → lib_public/m_map
-  dichotomic search → lib/branch_and_bound
-  dif / 2 → lib/sicstus
-  dif / 2 → lib/prolog_extras
-  difference / 3 → lib/fd_sets
-  difference / 3 → lib/ic_sets
-  difference / 3 → lib/ic_hybrid_sets
-  difference_lex / 3 → lib/ic_hybrid_sets
-  dim / 2 → kernel/termmanip
-  directives → kernel/directives
-  directory → kernel/opsys
-  dirgraph / 3 → lib_public/grasper
-  disasm / 2 → lib/asm
-  disasm / 3 → lib/asm
-  discontiguous / 1 → kernel/compiler
-  disjoint / 2 → lib/fd_sets
-  disjoint / 2 → lib/ic_sets
-  disjoint / 2 → lib/ic_hybrid_sets
-  disjoint2 / 1 → lib/gfd
-  disjoint2_optional / 1 → lib/gfd
-  disjunction / 5 → lib/fd
-  Disjunction → kernel/control
-  disjunction_choose / 5 → lib/fd
-  disjunctive / 2 → lib/ic_edge_finder
-  disjunctive / 2 → lib/ic_edge_finder3
-  disjunctive / 2 → lib/gfd
-  disjunctive / 2 → lib/edge_finder
-  disjunctive / 2 → lib/edge_finder3
-  disjunctive / 3 → lib/fd
-  disjunctive_bools / 3 → lib/ic_edge_finder
-  disjunctive_bools / 3 → lib/ic_edge_finder3
-  disjunctive_bools / 3 → lib/edge_finder
-  disjunctive_bools / 3 → lib/edge_finder3
-  disjunctive_optional / 3 → lib/gfd
-  display / 1 → kernel/ioterm
-  display / 1 → lib/quintus
-  display / 2 → kernel/ioterm
-  distfix → lib_public/distfix
-  distfixop / 4 → lib_public/distfix
-  div / 3 → kernel/arithmetic
-  divmod / 4 → lib/gfd
-  do / 2 → kernel/control
-  document → lib/document
-  dom / 2 → lib/fd
-  dom_check_in / 2 → lib/fd
-  dom_compare / 3 → lib/fd
-  dom_copy / 2 → lib/fd
-  dom_difference / 4 → lib/fd
-  dom_intersection / 4 → lib/fd
-  dom_member / 2 → lib/fd
-  dom_range / 3 → lib/fd
-  dom_size / 2 → lib/fd
-  dom_to_list / 2 → lib/fd
-  dom_union / 4 → lib/fd
-  domain / 1 → kernel/termcomp
-  domain / 2 → lib_public/cardinal
-  domain / 3 → lib_public/cardinal
-  domain_error / 2 → lib/error
-  domain_index / 3 → kernel/termcomp
-  doubled_quote_is_quote → kernel/env
-  draw_visualization / 1 → lib_public/visualization
-  draw_visualization / 2 → lib_public/visualization
-  dvar_attribute / 2 → lib/fd
-  dvar_domain / 2 → lib/fd
-  dvar_msg / 3 → lib/fd
-  dvar_range / 3 → lib/fd
-  dvar_remove_element / 2 → lib/fd
-  dvar_remove_greater / 2 → lib/fd
-  dvar_remove_smaller / 2 → lib/fd
-  dvar_replace / 2 → lib/fd
-  dvar_update / 2 → lib/fd
-  dwy_to_mjd / 2 → lib/calendar
-  dwy_to_mjd / 3 → lib/calendar
-  dy_to_mjd / 2 → lib/calendar
-  dynamic / 1 → kernel/dynamic
-  dynamic / 1 → lib/quintus
-  dynamic → kernel/dynamic
-  dynamic_attributes → lib/dynamic_attributes
-  easter_mjd / 2 → lib/calendar
-  ech → lib/ech
-  eci_to_html / 3 → lib/document
-  ecis_to_htmls / 0 → lib/document
-  ecis_to_htmls / 3 → lib/document
-  ecis_to_htmls / 4 → lib/document
-  eclipse_6 → lib/eclipse_6
-  eclipse_info_suffix → kernel/env
-  eclipse_object_suffix → kernel/env
-  edge_finder → lib/edge_finder
-  edge_finder3 → lib/edge_finder3
-  edit / 1 → lib/util
-  el_weight / 2 → lib/conjunto
-  element / 3 → lib/ic
-  element / 3 → lib/ic_symbolic
-  element / 3 → lib/gfd
-  element / 3 → lib/fd
-  element_g / 3 → lib/gfd
-  elif / 1 → kernel/directives
-  else / 0 → kernel/directives
-  empty_assoc / 1 → lib_public/assoc
-  empty_heap / 1 → lib/heaps
-  empty_queue / 1 → lib/queues
-  enable_interrupts → kernel/env
-  end_break / 3 → lib/toplevel
-  end_compile_handler / 2 → lib/quintus_util
-  endif / 0 → kernel/directives
-  engine_clone / 3 → kernel/engines
-  engine_create / 2 → kernel/engines
-  engine_join / 3 → kernel/engines
-  engine_post / 2 → kernel/engines
-  engine_resume / 3 → kernel/engines
-  engine_resume_thread / 2 → kernel/engines
-  engine_self / 1 → kernel/engines
-  engines / 0 → lib/concurrency
-  engines → kernel/engines
-  ensure_loaded / 1 → kernel/compiler
-  ensure_loaded / 1 → lib/quintus
-  enter_suspension_list / 3 → kernel/suspensions
-  env / 0 → kernel/env
-  env → kernel/env
-  environment variables → kernel/opsys
-  environment variables → kernel/opsys
-  eof_is_no_fullstop → kernel/env
-  eplex → lib/eplex
-  eplex_add_constraints / 2 → lib/eplex
-  eplex_cleanup / 0 → lib/eplex
-  eplex_cplex → lib/eplex_cplex
-  eplex_get / 2 → lib/eplex
-  eplex_get_iis / 4 → lib/eplex
-  eplex_glpk → lib/eplex_glpk
-  eplex_gurobi → lib/eplex_gurobi
-  eplex_instance / 1 → lib/eplex
-  eplex_osi → lib/eplex_osi
-  eplex_osi_clpcbc → lib/eplex_osi_clpcbc
-  eplex_osi_glpk → lib/eplex_osi_glpk
-  eplex_osi_symclp → lib/eplex_osi_symclp
-  eplex_probe / 2 → lib/eplex
-  eplex_read / 2 → lib/eplex
-  eplex_set / 2 → lib/eplex
-  eplex_solve / 1 → lib/eplex
-  eplex_solver_setup / 1 → lib/eplex
-  eplex_solver_setup / 4 → lib/eplex
-  eplex_var_get / 3 → lib/eplex
-  eplex_var_get_bounds / 3 → lib/eplex
-  eplex_verify_solution / 2 → lib/eplex
-  eplex_write / 2 → lib/eplex
-  eplex_xpress → lib/eplex_xpress
-  eq_t / 3 → lib/tentative_constraints
-  erase / 1 → kernel/record
-  erase / 1 → lib/quintus
-  erase / 2 → kernel/record
-  erase_all / 1 → kernel/record
-  erase_all_templates / 0 → lib/instrument
-  erase_array / 1 → kernel/storage
-  erase_file_templates / 1 → lib/instrument
-  erase_macro / 1 → kernel/obsolete
-  erase_macro / 2 → kernel/syntax
-  erase_module / 1 → kernel/modules
-  erase_module_templates / 0 → lib/instrument
-  erased / 1 → lib/cprolog
-  err_msg / 2 → lib/sepia
-  errno_id / 1 → kernel/opsys
-  errno_id / 2 → kernel/obsolete
-  error / 1 → lib_public/mercury
-  error / 2 → kernel/event
-  error / 3 → kernel/event
-  error → lib/error
-  error_id / 2 → kernel/event
-  eval / 2 → kernel/arithmetic
-  eval_to_array / 2 → kernel/termmanip
-  eval_to_complete_list / 2 → kernel/termmanip
-  eval_to_list / 2 → kernel/termmanip
-  evaluation_error / 1 → lib/error
-  event / 1 → kernel/event
-  event → kernel/event
-  event_after / 2 → kernel/event
-  event_after / 3 → kernel/event
-  event_after_every / 2 → kernel/event
-  event_create / 2 → kernel/obsolete
-  event_create / 3 → kernel/event
-  event_disable / 1 → kernel/event
-  event_enable / 1 → kernel/event
-  event_retrieve / 2 → kernel/obsolete
-  event_retrieve / 3 → kernel/event
-  events_after / 1 → kernel/event
-  events_defer / 0 → kernel/event
-  events_nodefer / 0 → kernel/event
-  exclude / 2 → lib/gfd
-  exclude / 2 → lib/ic_kernel
-  exclude / 3 → lib_public/applic
-  exclude_range / 3 → lib/gfd
-  exclude_range / 3 → lib/ic_kernel
-  exec / 2 → kernel/opsys
-  exec / 3 → kernel/opsys
-  exec_group / 3 → kernel/opsys
-  exec_viz / 1 → lib_public/cpviz
-  existence_error / 2 → lib/error
-  Existential quantification → kernel/control
-  existing_file / 4 → kernel/opsys
-  exists / 1 → kernel/opsys
-  exit / 1 → kernel/opsys
-  exit_all / 1 → lib/concurrency
-  exit_block / 1 → kernel/obsolete
-  exp / 2 → kernel/arithmetic
-  expand → kernel/directives
-  expand_clause / 2 → kernel/compiler
-  expand_clause_and_goals / 6 → lib/source_processor
-  expand_clause_goals / 5 → lib/source_processor
-  expand_goal / 2 → kernel/compiler
-  expand_goals → kernel/compiler
-  expand_macros / 2 → kernel/ioterm
-  expand_term / 2 → lib/quintus
-  export / 1 → kernel/modules
-  export_graph / 2 → lib_public/grasper
-  extension → kernel/env
-  extensional / 4 → lib/gfd
-  external / 1 → kernel/externals
-  external / 2 → kernel/externals
-  externals → kernel/externals
-  extract_array / 4 → lib_public/visualize_tree
-  extract_array / 5 → lib_public/visualize_tree
-  fail / 0 → kernel/control
-  fail_if / 1 → kernel/obsolete
-  failure / 4 → lib_public/visualize_tree
-  failure_c / 4 → lib_public/visualize_tree
-  false / 0 → kernel/control
-  fcompile / 1 → lib/sicstus
-  fcompile / 1 → lib/fcompile
-  fcompile / 2 → lib/fcompile
-  fcompile → lib/fcompile
-  fd → lib/fd
-  fd_dom / 2 → lib/clpfd
-  fd_eval / 1 → lib/fd
-  fd_global → lib/fd_global
-  fd_global_gac → lib_public/fd_global_gac
-  fd_inf / 2 → lib/clpfd
-  fd_mdd → lib/fd_mdd
-  fd_prop_test_util → lib/fd_prop_test_util
-  fd_sbds → lib/fd_sbds
-  fd_search → lib/fd_search
-  fd_sets → lib/fd_sets
-  fd_size / 2 → lib/clpfd
-  fd_sup / 2 → lib/clpfd
-  fd_var / 1 → lib/clpfd
-  feas_flow_with_lb / 8 → lib/max_flow
-  fetch / 3 → lib_public/arrays
-  file_callsites / 3 → lib/instrument
-  file_info / 1 → lib/util
-  file_result / 1 → lib/instrument
-  file_result / 2 → lib/instrument
-  fileerrors / 0 → lib/cprolog
-  finalization / 1 → kernel/modules
-  find_java / 1 → lib/java_vc
-  find_partner / 4 → lib/ech
-  findall / 3 → kernel/allsols
-  first_solution / 1 → lib/ic_gap_sbdd
-  first_solution / 1 → lib/ic_gap_sbds
-  fix / 2 → kernel/arithmetic
-  fixme / 1 → lib/test_util
-  flag / 3 → lib/swi
-  flat → lib_public/flat
-  flatten / 2 → lib/lists
-  flatten / 3 → lib/lists
-  flatten_array / 2 → kernel/obsolete
-  flatzinc → lib_public/flatzinc
-  flatzinc_parser → lib_public/flatzinc_parser
-  flatzinc_syntax → lib_public/flatzinc_syntax
-  float / 1 → kernel/typetest
-  float / 2 → kernel/arithmetic
-  float_needs_point → kernel/env
-  float_precision → kernel/env
-  floor / 2 → kernel/arithmetic
-  flush / 1 → kernel/iostream
-  flush_output / 0 → lib/iso_light
-  flush_output / 1 → lib/iso_light
-  flush_output / 1 → lib/quintus
-  folder → kernel/opsys
-  for → kernel/control
-  forall / 2 → lib/swi
-  foreach → kernel/control
-  foreacharg → kernel/control
-  foreachelem → kernel/control
-  foreachindex → kernel/control
-  foreachnotification / 6 → lib/notify_ports
-  foreachnotification / 7 → lib/notify_ports
-  foreign → lib/foreign
-  fork / 2 → kernel/control
-  format / 2 → lib/format
-  format / 3 → lib/format
-  format → lib/format
-  frandom / 1 → kernel/arithmetic
-  free / 1 → kernel/typetest
-  freeof / 2 → lib_public/occur
-  freeze / 2 → lib/sicstus
-  freeze / 2 → lib/swi
-  freeze / 2 → lib/prolog_extras
-  from_assoc_list / 2 → lib_public/m_map
-  from_corresponding_lists / 3 → lib_public/m_map
-  from_file / 2 → lib/fromonto
-  from_sorted_assoc_list / 2 → lib_public/m_map
-  from_stream / 2 → lib/fromonto
-  from_string / 2 → lib/fromonto
-  fromonto → lib/fromonto
-  fromto / 4 → lib/apply_macros
-  fromto → kernel/control
-  frozen / 2 → lib/sicstus
-  fun_to_cons_var / 3 → lib/ic_probing_for_scheduling
-  fun_to_cons_var / 3 → lib/probing_for_scheduling
-  functor / 3 → kernel/termmanip
-  fzn_eplex → lib_public/fzn_eplex
-  fzn_error / 2 → lib_public/flatzinc
-  fzn_fd → lib_public/fzn_fd
-  fzn_ic → lib_public/fzn_ic
-  fzn_init / 2 → lib_public/flatzinc
-  fzn_last / 1 → lib_public/flatzinc
-  fzn_load_stream / 2 → lib_public/flatzinc
-  fzn_obj_lookup / 2 → lib_public/flatzinc
-  fzn_output / 1 → lib_public/flatzinc
-  fzn_run / 1 → lib_public/flatzinc
-  fzn_run / 2 → lib_public/flatzinc
-  fzn_run_stream / 2 → lib_public/flatzinc
-  fzn_search / 1 → lib_public/flatzinc
-  fzn_unsat / 1 → lib_public/flatzinc
-  fzn_var_lookup / 3 → lib_public/flatzinc
-  fzn_write / 2 → lib_public/flatzinc
-  fzn_write / 4 → lib_public/flatzinc
-  gap → lib/gap
-  gap_command / 2 → lib/gap
-  gap_ensure_started / 0 → lib/gap
-  gap_query / 3 → lib/gap
-  gap_query_string / 3 → lib/gap
-  gap_reporting_level → lib/gap
-  gap_reporting_stream → lib/gap
-  gap_restart / 0 → lib/gap
-  gap_running / 0 → lib/gap
-  gap_shutdown / 0 → lib/gap
-  garbage_collect / 0 → kernel/env
-  gc / 0 → lib/quintus
-  gc → kernel/env
-  gc_interval → kernel/env
-  gc_interval_dict → kernel/env
-  gc_policy → kernel/env
-  gcc / 2 → lib/gfd
-  gcc / 2 → lib_public/fd_global_gac
-  gcc / 2 → lib_public/ic_global_gac
-  gcc / struct → lib/gfd
-  gcc_matrix / 3 → lib_public/fd_global_gac
-  gcc_matrix / 3 → lib_public/ic_global_gac
-  gcd / 3 → kernel/arithmetic
-  gcd / 5 → kernel/arithmetic
-  gen_arg / 3 → lib_public/between
-  gen_assoc / 3 → lib_public/assoc
-  gen_cons_table / 3 → lib/document
-  gen_int / 1 → lib_public/between
-  gen_nat / 1 → lib_public/between
-  gen_nat / 2 → lib_public/between
-  general_subscripts → kernel/env
-  generic_from_point / 6 → lib/sym_expr
-  generic_to_point / 5 → lib/sym_expr
-  get / 1 → kernel/iochar
-  get / 1 → lib/cprolog
-  get / 2 → kernel/iochar
-  get / 2 → lib/bfs
-  get / 2 → lib/colgen
-  get_a_var_name / 2 → lib/var_name
-  get_all_options / 1 → lib/config_opts
-  get_all_pool_constraints / 2 → lib/constraint_pools
-  get_assoc / 3 → lib_public/assoc
-  get_assoc / 5 → lib_public/assoc
-  get_attr / 3 → lib/dynamic_attributes
-  get_attrs / 2 → lib/dynamic_attributes
-  get_atts / 2 → lib/atts
-  get_bounds / 3 → lib/ic
-  get_bounds / 3 → lib/gfd
-  get_bounds / 3 → lib/ic_kernel
-  get_bounds handler → kernel/termmanip
-  get_byte / 1 → lib/iso_light
-  get_byte / 2 → lib/iso_light
-  get_callsite_data / 2 → lib/instrument
-  get_changeable_value / 2 → lib/tentative
-  get_changeable_value / 2 → lib/repair
-  get_changeable_value / 2 → lib/eplex
-  get_char / 1 → kernel/iochar
-  get_char / 1 → lib/iso_light
-  get_char / 2 → kernel/iochar
-  get_char / 2 → lib/iso_light
-  get_chtab / 2 → kernel/syntax
-  get_code / 1 → lib/iso_light
-  get_code / 2 → lib/iso_light
-  get_column / 4 → lib/csv
-  get_constraint_list / 3 → lib/ech
-  get_constraints_number / 2 → lib/gfd
-  get_delta / 2 → lib/ic
-  get_delta / 2 → lib/gfd
-  get_delta / 2 → lib/ic_kernel
-  get_domain / 2 → lib/ic
-  get_domain / 2 → lib/gfd
-  get_domain / 2 → lib/ic_kernel
-  get_domain_as_list / 2 → lib/ic
-  get_domain_as_list / 2 → lib/ic_symbolic
-  get_domain_as_list / 2 → lib/gfd
-  get_domain_as_list / 2 → lib/sd
-  get_domain_as_list / 2 → lib/ic_kernel
-  get_domain_size / 2 → lib/ic
-  get_domain_size / 2 → lib/gfd
-  get_domain_size / 2 → lib/sd
-  get_domain_size / 2 → lib/ic_kernel
-  get_engine_property / 3 → kernel/engines
-  get_error_handler / 2 → lib/sepia
-  get_error_handler / 3 → kernel/obsolete
-  get_error_output / 1 → lib/cgi
-  get_event_handler / 3 → kernel/event
-  get_failed_test_count / 1 → lib/test_util
-  get_file_info / 3 → kernel/opsys
-  get_finite_integer_bounds / 3 → lib/ic
-  get_finite_integer_bounds / 3 → lib/gfd
-  get_finite_integer_bounds / 3 → lib/ic_kernel
-  get_flag / 2 → kernel/env
-  get_flag / 3 → kernel/compiler
-  get_float_bounds / 3 → lib/ic
-  get_float_bounds / 3 → lib/ic_kernel
-  get_from_heap / 4 → lib/heaps
-  get_global_constraint / 2 → lib/ech
-  get_ic_attr / 2 → lib/ic_kernel
-  get_indexes / 2 → lib_public/list_collection
-  get_integer_bounds / 3 → lib/ic
-  get_integer_bounds / 3 → lib/gfd
-  get_integer_bounds / 3 → lib/ic_kernel
-  get_interrupt_handler / 2 → lib/sepia
-  get_interrupt_handler / 3 → kernel/event
-  get_label / 3 → lib_public/trees
-  get_leash / 2 → kernel/debug
-  get_list / 3 → lib_public/list_collection
-  get_max / 2 → lib/ic
-  get_max / 2 → lib/gfd
-  get_max / 2 → lib/ic_kernel
-  get_median / 2 → lib/ic
-  get_median / 2 → lib/gfd
-  get_median / 2 → lib/ic_kernel
-  get_min / 2 → lib/ic
-  get_min / 2 → lib/gfd
-  get_min / 2 → lib/ic_kernel
-  get_module_info / 3 → kernel/modules
-  get_next_assoc / 4 → lib_public/assoc
-  get_option / 2 → lib/config_opts
-  get_options / 2 → lib/module_options
-  get_param_value / 3 → lib/cgi
-  get_pool_item / 2 → lib/constraint_pools
-  get_prev_assoc / 4 → lib_public/assoc
-  get_priority / 1 → kernel/suspensions
-  get_probect / 1 → lib/probe
-  get_probect / 1 → lib/ic_probe
-  get_prompt / 3 → kernel/obsolete
-  get_regret_lwb / 2 → lib/gfd
-  get_regret_upb / 2 → lib/gfd
-  get_set_attribute / 2 → lib/fd_sets
-  get_set_attribute / 2 → lib/ic_sets
-  get_set_attribute / 2 → lib/ic_hybrid_sets
-  get_solver_type / 2 → lib/ic
-  get_solver_type / 2 → lib/ic_kernel
-  get_stream / 2 → kernel/iostream
-  get_stream_info / 3 → kernel/iostream
-  get_string_code / 3 → kernel/stratom
-  get_suspension_data / 3 → kernel/suspensions
-  get_threshold / 1 → lib/ic
-  get_threshold / 1 → lib/ic_kernel
-  get_time / 1 → lib/swi
-  get_timer / 2 → kernel/obsolete
-  get_typed_pool_constraints / 3 → lib/constraint_pools
-  get_var_bounds / 3 → kernel/termmanip
-  get_var_info / 3 → kernel/typetest
-  get_var_name / 2 → lib/var_name
-  get_weighted_degree / 2 → lib/gfd
-  get_weighted_degree_decay / 1 → lib/gfd
-  get0 / 1 → lib/cprolog
-  get0 / 2 → lib/quintus
-  getbit / 3 → kernel/arithmetic
-  getcwd / 1 → kernel/opsys
-  getEdgeSet / 2 → lib_public/grasper
-  getenv / 2 → kernel/opsys
-  getref / 2 → kernel/storage
-  getval / 2 → kernel/storage
-  getVertexSet / 2 → lib_public/grasper
-  gfd → lib/gfd
-  gfd / struct → lib/gfd
-  gfd_control / struct → lib/gfd
-  gfd_get_default / 2 → lib/gfd
-  gfd_maxint / 1 → lib/gfd
-  gfd_minint / 1 → lib/gfd
-  gfd_prob / struct → lib/gfd
-  gfd_sbds → lib/gfd_sbds
-  gfd_search → lib/gfd_search
-  gfd_set_default / 2 → lib/gfd
-  gfd_space / struct → lib/gfd
-  gfd_stats / struct → lib/gfd
-  gfd_update / 0 → lib/gfd
-  gfd_vars_exclude / 2 → lib/gfd
-  gfd_vars_exclude_domain / 2 → lib/gfd
-  gfd_vars_exclude_range / 3 → lib/gfd
-  gfd_vars_impose_bounds / 3 → lib/gfd
-  gfd_vars_impose_domain / 2 → lib/gfd
-  gfd_vars_impose_max / 2 → lib/gfd
-  gfd_vars_impose_min / 2 → lib/gfd
-  glb / 2 → lib/conjunto
-  glb / 2 → lib_public/cardinal
-  glb_poss / 3 → lib_public/cardinal
-  global / 1 → kernel/obsolete
-  global_cardinality / 2 → lib/clpfd
-  global_cardinality / 3 → lib/clpfd
-  global_op / 3 → kernel/obsolete
-  gnuplot → lib/gnuplot
-  goal_expansion → kernel/env
-  graph_adjacent_edge / 3 → lib/graph_algorithms
-  graph_algorithms → lib/graph_algorithms
-  graph_cycles / 2 → lib/graph_algorithms
-  graph_edge / 2 → lib/graph_algorithms
-  graph_get_adjacent_edges / 3 → lib/graph_algorithms
-  graph_get_all_edges / 2 → lib/graph_algorithms
-  graph_get_edge / 4 → lib/graph_algorithms
-  graph_get_edges / 4 → lib/graph_algorithms
-  graph_get_incoming_edges / 3 → lib/graph_algorithms
-  graph_get_maxnode / 2 → lib/graph_algorithms
-  graph_get_nodenames / 2 → lib/graph_algorithms
-  graph_is_acyclic / 1 → lib/graph_algorithms
-  graph_is_bidirected / 1 → lib/graph_algorithms
-  graph_labeling / 1 → lib_public/grasper
-  graph_labeling / 3 → lib_public/grasper
-  graph_node / 2 → lib/graph_algorithms
-  graph_reverse_edges / 2 → lib/graph_algorithms
-  graph_set_nodenames / 2 → lib/graph_algorithms
-  graph_set_random_weights / 3 → lib/graph_algorithms
-  graphs → lib_public/graphs
-  graphviz → lib/graphviz
-  grasper → lib_public/grasper
-  ground / 1 → kernel/typetest
-  ground / 1 → lib_public/metutl
-  group_by_key / 3 → lib/lists_of_structures
-  group_values_with_key / 4 → lib/lists_of_structures
-  group_with_key / 3 → lib/lists_of_structures
-  halt / 0 → kernel/opsys
-  halt / 1 → lib/iso_light
-  halve / 3 → lib/lists
-  ham_path / 3 → lib/gfd
-  ham_path / 5 → lib/gfd
-  ham_path / 6 → lib/gfd
-  ham_path_g / 3 → lib/gfd
-  ham_path_g / 5 → lib/gfd
-  ham_path_g / 6 → lib/gfd
-  ham_path_offset / 4 → lib/gfd
-  ham_path_offset / 6 → lib/gfd
-  ham_path_offset / 7 → lib/gfd
-  ham_path_offset_g / 4 → lib/gfd
-  ham_path_offset_g / 6 → lib/gfd
-  ham_path_offset_g / 7 → lib/gfd
-  handle_close / 1 → kernel/externals
-  handler / 1 → lib/ech
-  has_tent_value / 1 → lib/tentative
-  hash / 1 → lib/swi
-  hash → lib/hash
-  hash_add / 3 → lib/hash
-  hash_clone / 2 → lib/hash
-  hash_contains / 2 → lib/hash
-  hash_count / 2 → lib/hash
-  hash_create / 1 → lib/hash
-  hash_delete / 2 → lib/hash
-  hash_display / 2 → lib/hash
-  hash_entry / 3 → lib/hash
-  hash_erase / 1 → lib/hash
-  hash_find / 3 → lib/hash
-  hash_get / 3 → lib/hash
-  hash_insert / 3 → lib/hash
-  hash_insert_suspension / 3 → lib/hash
-  hash_iter / 2 → lib/hash
-  hash_keys / 2 → lib/hash
-  hash_last / 1 → lib/hash
-  hash_list / 2 → lib/hash
-  hash_list / 3 → lib/hash
-  hash_map / 3 → lib/hash
-  hash_next / 4 → lib/hash
-  hash_remove / 3 → lib/hash
-  hash_set / 3 → lib/hash
-  hash_stat / 1 → lib/hash
-  hash_term / 2 → lib/swi
-  hash_terminate_suspensions / 1 → lib/hash
-  hash_update / 4 → lib/hash
-  hash_update / 5 → lib/hash
-  head_queue / 2 → lib/queues
-  headers_map / 2 → lib/csv
-  heap_size / 2 → lib/heaps
-  heap_to_list / 2 → lib/heaps
-  heaps → lib/heaps
-  heapused / 1 → lib/cprolog
-  help / 1 → kernel/env
-  hostarch → kernel/env
-  hostid → kernel/env
-  hostname → kernel/env
-  htmlify_string / 2 → lib/document
-  http → lib/http
-  http_client / 7 → lib/http_client
-  http_client → lib/http_client
-  http_compile / 1 → lib/http_client
-  http_compile / 2 → lib/http_client
-  http_open / 2 → lib/http_client
-  http_server / 1 → lib/http_server
-  http_server / 2 → lib/http_server
-  http_server → lib/http_server
-  ic → lib/ic
-  ic / struct → lib/ic_kernel
-  ic_cumulative → lib/ic_cumulative
-  ic_edge_finder → lib/ic_edge_finder
-  ic_edge_finder3 → lib/ic_edge_finder3
-  ic_event / 1 → lib/ic_kernel
-  ic_gap_sbdd → lib/ic_gap_sbdd
-  ic_gap_sbds → lib/ic_gap_sbds
-  ic_global → lib/ic_global
-  ic_global_gac → lib_public/ic_global_gac
-  ic_hybrid_sets → lib/ic_hybrid_sets
-  ic_kernel → lib/ic_kernel
-  ic_make_overlap_bivs → lib/ic_make_overlap_bivs
-  ic_mdd → lib/ic_mdd
-  ic_probe → lib/ic_probe
-  ic_probe_search → lib/ic_probe_search
-  ic_probe_support → lib/ic_probe_support
-  ic_probing_for_scheduling → lib/ic_probing_for_scheduling
-  ic_prop_test_util → lib/ic_prop_test_util
-  ic_sbds → lib/ic_sbds
-  ic_sets → lib/ic_sets
-  ic_stat / 1 → lib/ic_kernel
-  ic_stat_get / 1 → lib/ic_kernel
-  ic_stat_register_event / 2 → lib/ic_kernel
-  ic_symbolic → lib/ic_symbolic
-  icompile / 1 → lib/document
-  icompile / 2 → lib/document
-  iddiff / 3 → lib/probe_support
-  iddiff / 3 → lib/ic_probe_support
-  identified_constraint / 2 → lib/colgen
-  idmemb / 2 → lib/probe_support
-  idmemb / 2 → lib/ic_probe_support
-  if / 1 → kernel/directives
-  if / 3 → lib/sicstus
-  ignore / 1 → lib/swi
-  ignore_eof → kernel/env
-  ignore_handler / 2 → lib/ech
-  implies_that / 2 → lib/test_util
-  import / 1 → kernel/modules
-  impose_bounds / 3 → lib/gfd
-  impose_bounds / 3 → lib/ic_kernel
-  impose_domain / 2 → lib/gfd
-  impose_domain / 2 → lib/ic_kernel
-  impose_max / 2 → lib/gfd
-  impose_max / 2 → lib/ic_kernel
-  impose_min / 2 → lib/gfd
-  impose_min / 2 → lib/ic_kernel
-  in / 2 → lib/fd_sets
-  in / 2 → lib/clpfd
-  in / 2 → lib/conjunto
-  in / 2 → lib/ic_sets
-  in / 2 → lib/ic_hybrid_sets
-  in / 2 → lib_public/cardinal
-  in / 3 → lib/fd_sets
-  in / 3 → lib/ic_sets
-  in / 3 → lib/ic_hybrid_sets
-  in_chrstore / 1 → lib/ech
-  in_chrstore / 2 → lib/ech
-  in_set_range / 2 → lib/fd_sets
-  in_set_range / 2 → lib/ic_sets
-  in_set_range / 2 → lib/ic_hybrid_sets
-  include / 1 → kernel/directives
-  includes / 2 → lib/fd_sets
-  includes / 2 → lib/ic_sets
-  includes / 2 → lib/ic_hybrid_sets
-  incore / 1 → lib/quintus
-  incremental_all_shortest_paths_as_edges / 6 → lib/graph_algorithms
-  incremental_all_shortest_paths_as_graph / 6 → lib/graph_algorithms
-  incremental_single_pair_all_shortest_paths_as_graph / 7 → lib/graph_algorithms
-  incremental_single_pair_shortest_path / 6 → lib/graph_algorithms
-  incval / 1 → kernel/storage
-  index / 1 → lib/swi
-  indomain / 1 → lib/ic
-  indomain / 1 → lib/ic_symbolic
-  indomain / 1 → lib/gfd
-  indomain / 1 → lib/sd
-  indomain / 1 → lib/fd
-  indomain / 2 → lib/fd_search
-  indomain / 2 → lib/gfd_search
-  indomain / 2 → lib/ic
-  infers / 2 → lib/propia
-  init / 1 → lib_public/m_map
-  init / 1 → lib_public/m_tree234
-  init_suspension_list / 2 → kernel/suspensions
-  initialise_time_logging / 1 → lib/time_log
-  initialization / 1 → kernel/modules
-  initialization / 1 → kernel/modules
-  initialization / 1 → kernel/modules
-  initialization / 1 → lib/iso_light
-  inline / 1 → kernel/compiler
-  inline / 2 → kernel/compiler
-  ins / 2 → lib/clpfd
-  insert / 4 → lib_public/m_map
-  insert / 4 → lib_public/m_tree234
-  insert_pairapplied / 6 → lib/ech
-  insert_samepairapplied / 6 → lib/ech
-  insert_suspension / 3 → kernel/suspensions
-  insert_suspension / 4 → kernel/suspensions
-  inserta / 4 → lib/lists_of_structures
-  insertz / 4 → lib/lists_of_structures
-  insetdomain / 4 → lib/fd_sets
-  insetdomain / 4 → lib/ic_sets
-  insetdomain / 4 → lib/ic_hybrid_sets
-  installation_directory → kernel/env
-  instance / 2 → kernel/termcomp
-  instance / 2 → lib/cprolog
-  instance / 2 → lib/quintus
-  instantiation_deviates / 1 → lib/eplex
-  instantiation_error / 1 → lib/error
-  instprofile → lib/instprofile
-  instrument / 2 → lib/instrument
-  instrument / 3 → lib/instrument
-  instrument → lib/instrument
-  instrument_control / 2 → lib/instrument
-  int_geq_than / 10 → lib/ic_hybrid_sets
-  int_leq_than / 10 → lib/ic_hybrid_sets
-  int_sets / struct → lib/fd_sets
-  int_sets / struct → lib/ic_sets
-  int_sets / struct → lib/ic_hybrid_sets
-  integer / 1 → kernel/typetest
-  integer / 2 → kernel/arithmetic
-  integer_atom / 2 → kernel/stratom
-  integer_list_to_dom / 2 → lib/fd
-  integers / 1 → lib/bfs
-  integers / 1 → lib/suspend
-  integers / 1 → lib/ic
-  integers / 1 → lib/gfd
-  integers / 1 → lib/eplex
-  integers / 1 → lib/ic_kernel
-  integers / 1 → lib/fd
-  integral_t / 3 → lib/tentative_constraints
-  interface / 1 → lib/util
-  interrupt / 1 → lib/sepia
-  intersect_atmost_n / 4 → lib/ic_hybrid_sets
-  intersect_lex / 3 → lib/ic_hybrid_sets
-  intersection / 3 → lib/fd_sets
-  intersection / 3 → lib/ic_sets
-  intersection / 3 → lib/ic_hybrid_sets
-  intersection / 3 → lib/lists
-  interval_alarm / 1 → lib/sepia
-  interval_contains / 2 → lib_public/intervals
-  interval_difference / 3 → lib_public/intervals
-  interval_ends_first / 2 → lib_public/intervals
-  interval_includes / 2 → lib_public/intervals
-  interval_intersection / 3 → lib_public/intervals
-  interval_is_less / 2 → lib_public/intervals
-  interval_is_less_and_not_coalescable / 2 → lib_public/intervals
-  interval_union / 3 → lib_public/intervals
-  intervals → lib_public/intervals
-  intervals_are_coalescable / 2 → lib_public/intervals
-  intervals_are_disjoint / 2 → lib_public/intervals
-  intervals_are_not_coalescable / 2 → lib_public/intervals
-  intervals_meet / 2 → lib_public/intervals
-  intset / 3 → lib/fd_sets
-  intset / 3 → lib/ic_sets
-  intset / 3 → lib/ic_hybrid_sets
-  intsets / 4 → lib/fd_sets
-  intsets / 4 → lib/ic_sets
-  intsets / 4 → lib/ic_hybrid_sets
-  inverse / 2 → lib/gfd
-  inverse / 2 → lib/fd_global
-  inverse / 2 → lib/ic_global
-  inverse / 2 → lib_public/fd_global_gac
-  inverse / 2 → lib_public/ic_global_gac
-  inverse / 4 → lib/gfd
-  inverse_g / 2 → lib/gfd
-  inverse_g / 4 → lib/gfd
-  inverse_search / 3 → lib_public/m_map
-  iochar → kernel/iochar
-  iostream → kernel/iostream
-  ioterm → kernel/ioterm
-  is / 2 → kernel/arithmetic
-  is / 2 → lib/iso_light
-  is / 2 → lib/iso_strict
-  is_array / 1 → kernel/typetest
-  is_array / 1 → lib_public/logarr
-  is_assoc / 1 → lib_public/assoc
-  is_bag / 1 → lib_public/bags
-  is_built_in / 1 → kernel/obsolete
-  is_constraint_pool / 1 → lib/constraint_pools
-  is_digit / 1 → lib/quintus
-  is_domain / 1 → lib/fd
-  is_dynamic / 1 → kernel/dynamic
-  is_empty / 1 → lib_public/m_map
-  is_empty / 1 → lib_public/m_tree234
-  is_event / 1 → kernel/typetest
-  is_exact_solver_var / 1 → lib/fd_sets
-  is_exact_solver_var / 1 → lib/ic_sets
-  is_exact_solver_var / 1 → lib/ic
-  is_exact_solver_var / 1 → lib/ic_symbolic
-  is_exact_solver_var / 1 → lib/gfd
-  is_exact_solver_var / 1 → lib/sd
-  is_exact_solver_var / 1 → lib/ic_kernel
-  is_exact_solver_var / 1 → lib/fd
-  is_handle / 1 → kernel/typetest
-  is_handle / 2 → kernel/typetest
-  is_in_domain / 2 → lib/ic
-  is_in_domain / 2 → lib/gfd
-  is_in_domain / 2 → lib/ic_kernel
-  is_in_domain / 3 → lib/ic
-  is_in_domain / 3 → lib/gfd
-  is_in_domain / 3 → lib/ic_kernel
-  is_in_store / 2 → lib/ech
-  is_integer_domain / 1 → lib/fd
-  is_list / 1 → kernel/typetest
-  is_locked / 1 → kernel/obsolete
-  is_lower / 1 → lib/quintus
-  is_map / 1 → lib_public/map
-  is_module / 1 → lib/sepia
-  is_ordset / 1 → lib/ordset
-  is_predicate / 1 → kernel/compiler
-  is_protected / 1 → lib/sepia
-  is_protected_ / 2 → lib/sepia
-  is_record / 1 → kernel/record
-  is_sbdd_var / 1 → lib/ic_gap_sbdd
-  is_sbds_var / 1 → lib/ic_sbds
-  is_sbds_var / 1 → lib/gfd_sbds
-  is_sbds_var / 1 → lib/fd_sbds
-  is_sbds_var / 1 → lib/ic_gap_sbds
-  is_solver_type / 1 → lib/fd_sets
-  is_solver_type / 1 → lib/ic_sets
-  is_solver_type / 1 → lib/ic
-  is_solver_type / 1 → lib/gfd
-  is_solver_type / 1 → lib/ic_hybrid_sets
-  is_solver_type / 1 → lib/sd
-  is_solver_type / 1 → lib/ic_kernel
-  is_solver_var / 1 → lib/fd_sets
-  is_solver_var / 1 → lib/ic_sets
-  is_solver_var / 1 → lib/ic
-  is_solver_var / 1 → lib/ic_symbolic
-  is_solver_var / 1 → lib/gfd
-  is_solver_var / 1 → lib/ic_hybrid_sets
-  is_solver_var / 1 → lib/sd
-  is_solver_var / 1 → lib/ic_kernel
-  is_solver_var / 1 → lib/fd
-  is_sub_graph / 2 → lib/graph_algorithms
-  is_suspension / 1 → kernel/typetest
-  is_thread / 1 → lib/threads
-  is_upper / 1 → lib/quintus
-  isd / 2 → lib/fd
-  iset_complement / 3 → lib_public/intervals
-  iset_contains / 2 → lib_public/intervals
-  iset_difference / 3 → lib_public/intervals
-  iset_includes / 2 → lib_public/intervals
-  iset_intersection / 3 → lib_public/intervals
-  iset_union / 3 → lib_public/intervals
-  iso → lib/iso
-  ISO 8601 → lib/calendar
-  iso_base_prefix → kernel/env
-  iso_escapes → kernel/env
-  iso_light → lib/iso_light
-  iso_restrictions → kernel/env
-  iso_strict → lib/iso_strict
-  itemplate / struct → lib/instrument
-  Iteration → kernel/control
-  java_vc → lib/java_vc
-  jd_to_mjd / 2 → lib/calendar
-  join_queue / 3 → lib/queues
-  join_string / 3 → kernel/stratom
-  json → lib/json
-  json_read / 3 → lib/json
-  json_write / 3 → lib/json
-  julian date → lib/calendar
-  jump_queue / 3 → lib/queues
-  keys / 2 → lib_public/m_map
-  keys / 2 → lib_public/m_tree234
-  keys_and_values / 3 → lib_public/project
-  keysort / 2 → kernel/termcomp
-  kill / 2 → kernel/opsys
-  kill_constraint / 2 → lib/ech
-  kill_display_matrix / 1 → kernel/debug
-  kill_suspension / 1 → kernel/suspensions
-  label / 1 → lib/clpfd
-  labeling / 1 → lib/ic
-  labeling / 1 → lib/gfd
-  labeling / 1 → lib/sd
-  labeling / 1 → lib/fd
-  labeling / 2 → lib/clpfd
-  labeling_ff / 4 → lib/ic_hybrid_sets
-  labeling_lex / 1 → lib/ic_hybrid_sets
-  labeling_lex / 4 → lib/ic_hybrid_sets
-  labeling_smallest_glb / 1 → lib/ic_hybrid_sets
-  lambda → lib_public/lambda
-  last / 2 → lib_public/listut
-  last_errno → kernel/env
-  last_port_profile / 1 → lib/port_profiler
-  lazy_io → lib/lazy_io
-  lcm / 3 → kernel/arithmetic
-  ldsb → lib_public/ldsb
-  ldsb_indomain / 1 → lib_public/ldsb
-  ldsb_indomain_set / 1 → lib_public/ldsb
-  ldsb_initialise / 2 → lib_public/ldsb
-  ldsb_try / 3 → lib_public/ldsb
-  ldsb_try_set / 3 → lib_public/ldsb
-  leash / 1 → lib/cprolog
-  leash → kernel/compiler
-  length / 2 → lib/lists
-  length / 3 → lib_public/bags
-  length_queue / 2 → lib/queues
-  leq / 2 → lib/ic_hybrid_sets
-  less / 2 → lib/ic_hybrid_sets
-  lex_chain / 1 → lib/clpfd
-  lex_eq / 2 → lib/gfd
-  lex_ge / 2 → lib/gfd
-  lex_gt / 2 → lib/gfd
-  lex_le / 2 → lib/gfd
-  lex_le / 2 → lib/fd_global
-  lex_le / 2 → lib/ic_global
-  lex_le / 2 → lib_public/fd_global_gac
-  lex_le / 2 → lib_public/ic_global_gac
-  lex_lt / 2 → lib/gfd
-  lex_lt / 2 → lib/fd_global
-  lex_lt / 2 → lib/ic_global
-  lex_lt / 2 → lib_public/fd_global_gac
-  lex_lt / 2 → lib_public/ic_global_gac
-  lex_min_max / 3 → lib/ic_hybrid_sets
-  lex_ne / 2 → lib/gfd
-  lex_set_range / 3 → lib/ic_hybrid_sets
-  lexico_le / 2 → lib/fd_global
-  lexico_le / 2 → lib/ic_global
-  lib / 1 → kernel/compiler
-  lib / 2 → kernel/obsolete
-  library_path → kernel/env
-  limit_arg_precedence → kernel/env
-  line_count / 2 → lib/swi
-  line_count / 2 → lib/quintus
-  linearize / 3 → lib/linearize
-  linearize → lib/linearize
-  linrenorm / 2 → lib/linearize
-  lint / 1 → lib/lint
-  lint / 2 → lib/lint
-  lint → lib/lint
-  lips / 0 → lib/lips
-  lips / 1 → lib/lips
-  lips / 2 → lib/lips
-  lips → lib/lips
-  list_collection → lib_public/list_collection
-  list_error / 3 → lib/util
-  list_join_queue / 3 → lib/queues
-  list_jump_queue / 3 → lib/queues
-  list_to_and / 2 → lib_public/flat
-  list_to_array / 2 → lib_public/arrays
-  list_to_assoc / 2 → lib_public/assoc
-  list_to_assoc / 4 → lib_public/assoc
-  list_to_bag / 2 → lib_public/bags
-  list_to_binary / 3 → lib_public/flat
-  list_to_binary / 4 → lib_public/flat
-  list_to_dom / 2 → lib/fd
-  list_to_hash / 4 → lib/hash
-  list_to_heap / 2 → lib/heaps
-  list_to_map / 2 → lib_public/map
-  list_to_or / 2 → lib_public/flat
-  list_to_ord_set / 2 → lib/ordset
-  list_to_plus / 2 → lib_public/flat
-  list_to_queue / 2 → lib/queues
-  list_to_stream / 3 → lib/lazy_io
-  list_to_times / 2 → lib_public/flat
-  list_to_tree / 2 → lib_public/trees
-  list2cols / 4 → lib/matrix_util
-  list2rows / 4 → lib/matrix_util
-  list2set / 2 → lib/conjunto_fd_sets
-  list2set / 2 → lib/conjunto
-  listen / 2 → kernel/iostream
-  listing / 0 → kernel/dynamic
-  listing / 1 → kernel/dynamic
-  lists → lib/lists
-  lists_of_structures → lib/lists_of_structures
-  lists_structs / 2 → lib/lists_of_structures
-  listut → lib_public/listut
-  Literate programming → kernel/directives
-  ln / 2 → kernel/arithmetic
-  load / 1 → kernel/externals
-  load / 1 → lib/sicstus
-  load / 2 → lib/sepia
-  load_foreign_files / 2 → lib/foreign
-  loaded_library → kernel/env
-  local / 1 → kernel/modules
-  local search → lib/repair
-  local_intersect_atmost_n / 4 → lib/ic_hybrid_sets
-  local_op / 3 → lib/sepia
-  local_record / 1 → kernel/obsolete
-  local_time / 8 → kernel/opsys
-  local_time_string / 3 → kernel/opsys
-  locate / 2 → lib/ic
-  locate / 3 → lib/ic
-  locate / 4 → lib/ic
-  lock / 0 → kernel/modules
-  lock / 1 → kernel/obsolete
-  lock / 2 → kernel/obsolete
-  lock_pass / 1 → kernel/modules
-  log / 2 → lib/cprolog
-  log_time_local / 2 → lib/time_log
-  log10 / 2 → lib/cprolog
-  logarr → lib_public/logarr
-  lookup / 3 → lib_public/m_map
-  lookup / 3 → lib_public/m_tree234
-  Loops → kernel/control
-  lower_bound_lookup / 4 → lib_public/m_map
-  lower_bound_lookup / 4 → lib_public/m_tree234
-  lower_bound_search / 4 → lib_public/m_map
-  lower_bound_search / 4 → lib_public/m_tree234
-  lp_add / 3 → lib/eplex
-  lp_add_columns / 2 → lib/eplex
-  lp_add_constraints / 3 → lib/eplex
-  lp_add_constraints / 4 → lib/eplex
-  lp_add_cutpool_constraints / 4 → lib/eplex
-  lp_add_vars / 2 → lib/eplex
-  lp_cleanup / 1 → lib/eplex
-  lp_demon_setup / 5 → lib/eplex
-  lp_get / 2 → lib/eplex
-  lp_get / 3 → lib/eplex
-  lp_get_changeable_value / 3 → lib/eplex
-  lp_get_iis / 5 → lib/eplex
-  lp_get_license / 0 → lib/eplex
-  lp_get_license / 2 → lib/eplex
-  lp_get_license_challenge / 1 → lib/eplex
-  lp_probe / 3 → lib/eplex
-  lp_read / 3 → lib/eplex
-  lp_release_license / 0 → lib/eplex
-  lp_set / 2 → lib/eplex
-  lp_set / 3 → lib/eplex
-  lp_setup / 4 → lib/eplex
-  lp_solve / 2 → lib/eplex
-  lp_suspend_on_change / 3 → lib/eplex
-  lp_var_get / 4 → lib/eplex
-  lp_var_get_bounds / 4 → lib/eplex
-  lp_var_occurrence / 3 → lib/eplex
-  lp_var_set_bounds / 4 → lib/eplex
-  lp_verify_solution / 3 → lib/eplex
-  lp_write / 3 → lib/eplex
-  ls / 0 → lib/sepia
-  ls / 1 → lib/sepia
-  lub / 2 → lib/conjunto
-  lub / 2 → lib_public/cardinal
-  lub / 4 → lib_public/cardinal
-  m_map → lib_public/m_map
-  m_tree234 → lib_public/m_tree234
-  macro / 3 → kernel/syntax
-  macro_expansion → kernel/syntax
-  macro_expansion → kernel/env
-  make / 0 → kernel/env
-  make_array / 1 → kernel/obsolete
-  make_array / 2 → kernel/obsolete
-  make_atom / 1 → lib/test_util
-  make_bignum / 1 → lib/test_util
-  make_display_matrix / 2 → kernel/debug
-  make_display_matrix / 5 → kernel/debug
-  make_float / 1 → lib/test_util
-  make_graph / 3 → lib/graph_algorithms
-  make_graph_symbolic / 3 → lib/graph_algorithms
-  make_integer / 1 → lib/test_util
-  make_interval / 1 → lib/test_util
-  make_list / 1 → lib/test_util
-  make_local_array / 1 → kernel/obsolete
-  make_local_array / 2 → kernel/obsolete
-  make_n_random_seeds / 2 → lib/fd_prop_test_util
-  make_n_random_seeds / 2 → lib/ic_prop_test_util
-  make_n_random_variables / 4 → lib/fd_prop_test_util
-  make_n_random_variables / 4 → lib/ic_prop_test_util
-  make_negbignum / 1 → lib/test_util
-  make_negfloat / 1 → lib/test_util
-  make_neginteger / 1 → lib/test_util
-  make_neginterval / 1 → lib/test_util
-  make_negrational / 1 → lib/test_util
-  make_nil / 1 → lib/test_util
-  make_overlap_bivs / 5 → lib/ic_make_overlap_bivs
-  make_overlap_bivs / 5 → lib/make_overlap_bivs
-  make_overlap_bivs → lib/make_overlap_bivs
-  make_queue / 1 → lib/queues
-  make_random_graph / 6 → lib/graph_algorithms
-  make_rational / 1 → lib/test_util
-  make_simple_interface / 0 → lib/foreign
-  make_simple_interface / 1 → lib/foreign
-  make_string / 1 → lib/test_util
-  make_struct / 1 → lib/test_util
-  make_sub_bag / 2 → lib_public/bags
-  make_sub_graph / 3 → lib/graph_algorithms
-  make_suspension / 3 → kernel/suspensions
-  make_suspension / 4 → kernel/suspensions
-  make_undirected_graph / 2 → lib/graph_algorithms
-  make_var / 1 → lib/test_util
-  manual / 0 → lib/quintus
-  map → lib_public/map
-  map_agree / 2 → lib_public/map
-  map_assoc / 2 → lib_public/assoc
-  map_assoc / 3 → lib_public/assoc
-  map_atts / 2 → lib/atts
-  map_compose / 3 → lib_public/map
-  map_disjoint / 2 → lib_public/map
-  map_domain / 2 → lib_public/map
-  map_exclude / 3 → lib_public/map
-  map_include / 3 → lib_public/map
-  map_invert / 2 → lib_public/map
-  map_map / 3 → lib_public/map
-  map_range / 2 → lib_public/map
-  map_to_assoc / 2 → lib_public/map
-  map_tree / 3 → lib_public/trees
-  map_union / 3 → lib_public/map
-  map_update / 3 → lib_public/map
-  map_update / 4 → lib_public/map
-  map_value / 3 → lib_public/map
-  mapand / 3 → lib_public/applic
-  mapargs / 3 → lib/apply_macros
-  mapbag / 3 → lib_public/bags
-  maplist / 2 → lib/lists
-  maplist / 3 → lib/apply_macros
-  maplist / 3 → lib/lists
-  maplist / 3 → lib_public/applic
-  mapstream / 3 → lib/apply_macros
-  match / 2 → lib/regex
-  match / 3 → lib/regex
-  match / 4 → lib/regex
-  matchall / 4 → lib/regex
-  matching / 2 → lib_public/fd_global_gac
-  matching / 2 → lib_public/ic_global_gac
-  Matching → kernel/control
-  matching → lib/graph_algorithms
-  matchsub / 4 → lib/regex
-  matrix / 3 → lib/matrix_util
-  matrix / 4 → lib/matrix_util
-  matrix_util → lib/matrix_util
-  max / 2 → kernel/arithmetic
-  max / 2 → lib/ic
-  max / 2 → lib/gfd
-  max / 3 → kernel/arithmetic
-  max_assoc / 3 → lib_public/assoc
-  max_first_index / 2 → lib/gfd
-  max_first_index_g / 2 → lib/gfd
-  max_flow / 5 → lib/max_flow
-  max_flow / 7 → lib/max_flow
-  max_flow → lib/max_flow
-  max_flow_eplex / 5 → lib_public/max_flow_eplex
-  max_flow_eplex → lib_public/max_flow_eplex
-  max_flow_eplex_dual / 5 → lib_public/max_flow_eplex
-  max_flow_eplex_dual / 7 → lib_public/max_flow_eplex
-  max_flow_with_lb / 6 → lib/max_flow
-  max_flow_with_lb / 8 → lib/max_flow
-  max_global_trail → kernel/env
-  max_index / 2 → lib/gfd
-  max_index_g / 2 → lib/gfd
-  max_integer → kernel/env
-  max_list / 2 → lib/swi
-  max_local_control → kernel/env
-  max_predicate_arity → kernel/env
-  max_regret_lwb / 2 → lib/gfd
-  max_regret_upb / 2 → lib/gfd
-  max_weight / 2 → lib/conjunto
-  max_weighted_degree / 2 → lib/gfd
-  max_weighted_degree_per_value / 2 → lib/gfd
-  maxdomain / 2 → lib/fd
-  maximum / 2 → lib_public/cardinal
-  maximum_matching_hopcroft_karp / 4 → lib/graph_algorithms
-  maxlist / 2 → lib/ic
-  maxlist / 2 → lib/fd_global
-  maxlist / 2 → lib/ic_global
-  mdd_solutions / 2 → lib/mdd_support
-  mdd_support → lib/mdd_support
-  mddc / 2 → lib/ic_mdd
-  mddc / 2 → lib/fd_mdd
-  mem / 2 → lib/gfd
-  mem / 3 → lib/gfd
-  member / 2 → lib/lists
-  member / 3 → lib_public/bags
-  member / 3 → lib_public/m_map
-  member / 3 → lib_public/m_tree234
-  memberchk / 2 → lib/lists
-  membership_booleans / 2 → lib/fd_sets
-  membership_booleans / 2 → lib/ic_sets
-  membership_booleans / 2 → lib/ic_hybrid_sets
-  mercury → lib_public/mercury
-  merge / 3 → kernel/termcomp
-  merge / 3 → lib_public/m_map
-  merge / 5 → kernel/termcomp
-  merge_senders / 2 → lib/notify_ports
-  merge_set / 3 → lib/swi
-  merge_suspension_lists / 4 → kernel/suspensions
-  message queue → kernel/record
-  message queue → kernel/record
-  message_queue_create / 1 → lib/threads
-  message_queue_create / 2 → lib/threads
-  message_queue_destroy / 1 → lib/threads
-  meta / 1 → kernel/typetest
-  meta_attribute / 2 → kernel/termmanip
-  meta_attribute_now_later / 3 → lib/source_processor
-  meta_bind / 2 → kernel/termmanip
-  meta_predicate / 1 → kernel/compiler
-  metutl → lib_public/metutl
-  middle_out / 2 → lib/lists
-  min / 2 → kernel/arithmetic
-  min / 2 → lib/ic
-  min / 2 → lib/gfd
-  min / 3 → kernel/arithmetic
-  min_assoc / 3 → lib_public/assoc
-  min_first_index / 2 → lib/gfd
-  min_first_index_g / 2 → lib/gfd
-  min_index / 2 → lib/gfd
-  min_index_g / 2 → lib/gfd
-  min_list / 2 → lib/swi
-  min_max / 2 → lib/fd
-  min_max / 4 → lib/fd
-  min_max / 5 → lib/fd
-  min_max / 6 → lib/fd
-  min_max / 8 → lib/fd
-  min_max_body / 3 → lib/fd
-  min_max_body / 5 → lib/fd
-  min_max_body / 6 → lib/fd
-  min_max_body / 7 → lib/fd
-  min_max_body / 9 → lib/fd
-  min_of_heap / 3 → lib/heaps
-  min_of_heap / 5 → lib/heaps
-  mindomain / 2 → lib/fd
-  minimize / 2 → lib/branch_and_bound
-  minimize / 2 → lib/fd
-  minimize / 3 → lib/colgen
-  minimize / 3 → lib_public/fzn_fd
-  minimize / 3 → lib_public/fzn_ic
-  minimize / 4 → lib/fd
-  minimize / 5 → lib/fd
-  minimize / 6 → lib/fd
-  minimize / 8 → lib/fd
-  minimize_body / 3 → lib/fd
-  minimize_body / 5 → lib/fd
-  minimize_body / 6 → lib/fd
-  minimize_body / 7 → lib/fd
-  minimize_body / 9 → lib/fd
-  minimize_bound_check / 0 → lib/fd
-  minimum / 2 → lib_public/cardinal
-  minimum_spanning_forest / 5 → lib/graph_algorithms
-  minimum_spanning_tree / 4 → lib/graph_algorithms
-  minizinc → lib_public/minizinc
-  minlist / 2 → lib/ic
-  minlist / 2 → lib/fd_global
-  minlist / 2 → lib/ic_global
-  mip → lib/mip
-  mjd_now / 1 → lib/calendar
-  mjd_to_date / 2 → lib/calendar
-  mjd_to_dow / 2 → lib/calendar
-  mjd_to_dow / 3 → lib/calendar
-  mjd_to_dwy / 2 → lib/calendar
-  mjd_to_dwy / 3 → lib/calendar
-  mjd_to_dy / 2 → lib/calendar
-  mjd_to_jd / 2 → lib/calendar
-  mjd_to_time / 2 → lib/calendar
-  mjd_to_unix / 2 → lib/calendar
-  mjd_to_weekday / 2 → lib/calendar
-  mjd_to_ymd / 2 → lib/calendar
-  mjd_to_ywd / 2 → lib/calendar
-  mkdir / 1 → kernel/opsys
-  mod / 3 → kernel/arithmetic
-  mode / 1 → kernel/compiler
-  mode_analyser → lib/mode_analyser
-  modify_bound / 3 → lib/conjunto
-  module / 1 → kernel/modules
-  module / 3 → kernel/modules
-  module_callsites / 2 → lib/instrument
-  module_interface / 1 → kernel/obsolete
-  module_options → lib/module_options
-  module_property / 2 → lib/swi
-  module_result / 0 → lib/instrument
-  module_result / 1 → lib/instrument
-  modules → kernel/modules
-  monitor_changes / 6 → lib/changeset
-  monitor_changes_arr / 5 → lib/changeset
-  monitored_constraint / struct → lib/tentative
-  most_constrained_per_value / 2 → lib/gfd
-  msg / 3 → lib/fd_sets
-  msg / 3 → lib/ic_sets
-  msg / 3 → lib/ic_symbolic
-  msg / 3 → lib/gfd
-  msg / 3 → lib/sd
-  msg / 3 → lib/ic_kernel
-  msg / 3 → lib/fd
-  msort / 2 → kernel/termcomp
-  multifile / 1 → lib/multifile
-  multifile → lib/multifile
-  multifor → kernel/control
-  must_be / 2 → lib/error
-  mutex / 2 → kernel/obsolete
-  mutex_create / 1 → lib/threads
-  mutex_create / 2 → lib/threads
-  mutex_destroy / 1 → lib/threads
-  mutex_init / 1 → kernel/obsolete
-  my_tent_call / 4 → lib/probe_support
-  my_tent_call / 4 → lib/ic_probe_support
-  mzn_load / 5 → lib_public/minizinc
-  mzn_load_string / 5 → lib_public/minizinc
-  mzn_run / 0 → lib_public/minizinc
-  mzn_run / 2 → lib_public/minizinc
-  mzn_run / 3 → lib_public/minizinc
-  mzn_run_string / 2 → lib_public/minizinc
-  mzn2fzn / 4 → lib_public/minizinc
-  name / 2 → kernel/obsolete
-  name / 2 → lib/quintus
-  name_to_handle / 3 → kernel/storage
-  name_variables / 4 → lib_public/visualize_tree
-  name_variables / 5 → lib_public/visualize_tree
-  naming variable → lib/var_name
-  neg / 1 → lib/suspend
-  neg / 1 → lib/ic
-  neg / 1 → lib/gfd
-  neg / 2 → lib/suspend
-  neg / 2 → lib/ic
-  neg / 2 → lib/gfd
-  Negation → kernel/control
-  Negation → kernel/control
-  Negation → kernel/control
-  neq_t / 3 → lib/tentative_constraints
-  nested_comments → kernel/env
-  new_array / 1 → lib_public/logarr
-  new_constraints / 3 → lib/ech
-  new_domain_var / 1 → lib/fd
-  new_socket_server / 3 → kernel/iostream
-  next_lex_min / 3 → lib/ic_hybrid_sets
-  nextto / 3 → lib_public/listut
-  nexttoward / 3 → kernel/arithmetic
-  nl / 0 → kernel/iochar
-  nl / 1 → kernel/iochar
-  nl_in_quotes → kernel/env
-  nmember / 3 → lib_public/listut
-  nmembers / 3 → lib_public/listut
-  no_array_subscripts → kernel/env
-  no_attributes → kernel/env
-  no_blanks → kernel/env
-  no_curly_arguments → kernel/env
-  no_delayed_goals / 0 → lib/sepia
-  no_delayed_goals / 1 → lib/chr
-  no_global_bindings / 2 → lib/chr
-  no_macro_expansion/1 → kernel/syntax
-  no_string_concatenation → kernel/env
-  no_style_check / 1 → lib/quintus
-  nodbgcomp / 0 → kernel/obsolete
-  node_cost / 1 → lib/bfs
-  node_info / 5 → lib/bfs
-  node_to_nodename / 3 → lib/graph_algorithms
-  nodebug / 0 → kernel/debug
-  nodename_to_node / 3 → lib/graph_algorithms
-  nodenames_to_nodes / 3 → lib/graph_algorithms
-  nodes_to_nodenames / 3 → lib/graph_algorithms
-  nofileerrors / 0 → lib/cprolog
-  nogc / 0 → lib/quintus
-  nonground / 1 → kernel/typetest
-  nonground / 2 → kernel/typetest
-  nonground / 3 → kernel/typetest
-  nonmember / 2 → lib/lists
-  nonvar / 1 → kernel/typetest
-  normalise_cstrs / 3 → lib/eplex
-  normalize / 3 → lib/linearize
-  nospy / 1 → kernel/debug
-  nospyall / 0 → lib/quintus
-  not / 1 → kernel/control
-  not_unify / 2 → kernel/termcomp
-  notify_constrained / 1 → kernel/suspensions
-  notify_ports → lib/notify_ports
-  notin / 2 → lib/fd_sets
-  notin / 2 → lib/conjunto
-  notin / 2 → lib/ic_sets
-  notin / 2 → lib/ic_hybrid_sets
-  notin / 2 → lib_public/cardinal
-  notinstance → lib/notinstance
-  notrace / 0 → kernel/debug
-  nth_value / 3 → lib/fd_search
-  nth_value / 3 → lib/gfd_search
-  nth_value / 3 → lib/ic
-  nth0 / 3 → lib_public/listut
-  nth0 / 4 → lib_public/listut
-  nth1 / 3 → lib_public/listut
-  nth1 / 4 → lib_public/listut
-  number / 1 → kernel/typetest
-  number_chars / 2 → lib/iso_light
-  number_chars / 2 → lib/quintus
-  number_codes / 2 → lib/iso_light
-  number_merge / 3 → kernel/termcomp
-  number_merge / 5 → kernel/obsolete
-  number_sort / 2 → kernel/termcomp
-  number_sort / 4 → kernel/obsolete
-  number_string / 2 → kernel/stratom
-  number_variables / 3 → lib_public/visualize_tree
-  number_variables / 4 → lib_public/visualize_tree
-  numbervars / 3 → lib/numbervars
-  numbervars → lib/numbervars
-  numerator / 2 → kernel/arithmetic
-  numlist / 3 → lib/swi
-  numlist / 3 → lib_public/listut
-  nvalue / 2 → lib/fd_global
-  nvalue / 2 → lib/ic_global
-  nvalues / 3 → lib/gfd
-  object_spec_to_filename / 2 → lib/document
-  object_suffix → kernel/env
-  obsolete → kernel/obsolete
-  occ / 3 → lib_public/struct
-  occ / struct → lib/gfd
-  occur → lib_public/occur
-  occurrences / 3 → lib/ic_symbolic
-  occurrences / 3 → lib/gfd
-  occurrences / 3 → lib/fd_global
-  occurrences / 3 → lib/ic_global
-  occurs / 2 → kernel/termcomp
-  occurs check → kernel/typetest
-  occurs_check / 2 → lib_public/metutl
-  occurs_in / 2 → lib_public/metutl
-  octet → kernel/stratom
-  of → kernel/syntax
-  on_exception / 3 → lib/sicstus
-  on_signal / 3 → lib/swi
-  once / 1 → kernel/control
-  onto_file / 2 → lib/fromonto
-  onto_stream / 2 → lib/fromonto
-  onto_string / 2 → lib/fromonto
-  op / 3 → kernel/syntax
-  op / 3 → lib/quintus
-  open / 3 → kernel/iostream
-  open / 3 → lib/iso_strict
-  open / 3 → lib/iso
-  open / 4 → kernel/iostream
-  open / 4 → lib/iso_strict
-  open / 4 → lib/iso
-  open_delta_file / 1 → lib/instprofile
-  open_null_stream / 1 → lib/swi
-  open_null_stream / 1 → lib/quintus
-  open_receiver / 2 → lib/notify_ports
-  open_receiver / 4 → lib/notify_ports
-  open_receiver_init / 4 → lib/notify_ports
-  open_receiver_init / 6 → lib/notify_ports
-  open_sender / 1 → lib/notify_ports
-  open_sender / 2 → lib/notify_ports
-  open_tagged_receiver / 3 → lib/notify_ports
-  open_tagging_sender / 1 → lib/notify_ports
-  opsys → kernel/opsys
-  opt_level → kernel/directives
-  opt_level → kernel/compiler
-  optimization → lib/branch_and_bound
-  optimize / 2 → lib/eplex
-  optimize / 2 → lib_public/m_map
-  optimize / 3 → lib/eplex
-  option / 2 → lib/ech
-  option / 3 → lib/ech
-  options / struct → lib/probe_support
-  options / struct → lib/ic_probe_support
-  or / 2 → lib/suspend
-  or / 2 → lib/ic
-  or / 2 → lib/gfd
-  or / 3 → lib/suspend
-  or / 3 → lib/ic
-  or / 3 → lib/gfd
-  Or → kernel/control
-  or_to_list / 2 → lib_public/flat
-  ord_add_element / 3 → lib/ordset
-  ord_compare / 3 → lib/ordset
-  ord_del_element / 3 → lib/ordset
-  ord_disjoint / 2 → lib/ordset
-  ord_disjoint_union / 3 → lib/ordset
-  ord_insert / 3 → lib/ordset
-  ord_intersect / 2 → lib/ordset
-  ord_intersect / 3 → lib/ordset
-  ord_intersection / 2 → lib/ordset
-  ord_intersection / 3 → lib/ordset
-  ord_intersection / 5 → lib/ordset
-  ord_list_to_assoc / 2 → lib_public/assoc
-  ord_memberchk / 2 → lib/ordset
-  ord_nonmember / 2 → lib/ordset
-  ord_proper_subset / 2 → lib/ordset
-  ord_proper_superset / 2 → lib/ordset
-  ord_selectchk / 3 → lib/ordset
-  ord_seteq / 2 → lib/ordset
-  ord_subset / 2 → lib/ordset
-  ord_subtract / 3 → lib/ordset
-  ord_superset / 2 → lib/ordset
-  ord_symdiff / 3 → lib/ordset
-  ord_union / 2 → lib/ordset
-  ord_union / 3 → lib/ordset
-  ord_union / 4 → lib/ordset
-  order / 2 → lib_public/grasper
-  order → lib_public/order
-  ordered / 1 → lib_public/order
-  ordered / 2 → lib/gfd
-  ordered / 2 → lib/fd_global
-  ordered / 2 → lib/ic_global
-  ordered / 2 → lib_public/order
-  ordered_sum / 2 → lib/fd_global
-  ordered_sum / 2 → lib/ic_global
-  ordered_tuples_to_mdd / 2 → lib/mdd_support
-  ordset → lib/ordset
-  oriented_graph / 2 → lib_public/grasper
-  os_file_name / 2 → kernel/opsys
-  otherwise / 0 → lib/quintus
-  output_mode → kernel/env
-  output_options → kernel/env
-  overlay / 3 → lib_public/m_map
-  p_member / 3 → lib_public/graphs
-  p_to_s_graph / 2 → lib_public/graphs
-  p_transpose / 2 → lib_public/graphs
-  par_between / 3 → lib/par_util
-  par_delete / 3 → lib/par_util
-  par_indomain / 1 → lib/fd
-  par_lips / 1 → lib/lips
-  par_maplist / 3 → lib/par_util
-  par_member / 2 → lib/par_util
-  par_util → lib/par_util
-  parallel / 1 → kernel/compiler
-  pasm / 4 → lib/asm
-  path / 3 → lib_public/grasper
-  patharg / 3 → lib_public/occur
-  pathname / 2 → kernel/obsolete
-  pathname / 3 → kernel/opsys
-  pathname / 4 → kernel/opsys
-  pause / 0 → kernel/opsys
-  peek_byte / 1 → lib/iso_light
-  peek_byte / 2 → lib/iso_light
-  peek_char / 1 → lib/iso_light
-  peek_char / 2 → lib/iso_light
-  peek_code / 1 → lib/iso_light
-  peek_code / 2 → lib/iso_light
-  peer / 1 → kernel/externals
-  peer_deregister_multitask / 1 → kernel/externals
-  peer_do_multitask / 1 → kernel/externals
-  peer_get_property / 3 → kernel/externals
-  peer_multitask_confirm / 0 → kernel/externals
-  peer_multitask_terminate / 0 → kernel/externals
-  peer_queue_close / 1 → kernel/externals
-  peer_queue_create / 5 → kernel/externals
-  peer_queue_get_property / 3 → kernel/externals
-  peer_register_multitask / 2 → kernel/externals
-  perm / 2 → lib_public/listut
-  perm2 / 4 → lib_public/listut
-  permission_error / 3 → lib/error
-  phrase / 2 → kernel/control
-  phrase / 3 → kernel/control
-  pid → kernel/env
-  piecewise_linear / 3 → lib/ic
-  piecewise_linear_hull / 3 → lib/eplex
-  pipe / 2 → kernel/obsolete
-  plot / 1 → lib/gnuplot
-  plot / 2 → lib/gnuplot
-  plot / 3 → lib/gnuplot
-  plot / 4 → lib/gnuplot
-  plus / 3 → kernel/arithmetic
-  plus_is_no_sign → kernel/env
-  plus_to_list / 2 → lib_public/flat
-  point / 1 → lib/coverage
-  polydenorm / 2 → lib/linearize
-  polynorm / 3 → lib/linearize
-  polyrenorm / 2 → lib/linearize
-  pool_is_empty / 1 → lib/constraint_pools
-  port_profile / 1 → lib/port_profiler
-  port_profile / 2 → lib/port_profiler
-  port_profiler → lib/port_profiler
-  portable_object_code / 1 → lib/asm
-  portray / 3 → kernel/syntax
-  portray_bag / 1 → lib_public/bags
-  portray_clause / 1 → lib/quintus
-  portray_delay_reified / 2 → lib/suspend
-  portray_delayed_goals / 2 → lib/suspend
-  portray_goal / 2 → kernel/obsolete
-  portray_map / 1 → lib_public/map
-  portray_term / 3 → kernel/ioterm
-  position / 3 → lib_public/occur
-  poss / 2 → lib_public/cardinal
-  poss_conflict_vars / 1 → lib/repair
-  poss_conflict_vars / 2 → lib/repair
-  possible_path / 6 → lib/graph_algorithms
-  possible_path / 7 → lib/graph_algorithms
-  post_typed_pool_constraint / 3 → lib/constraint_pools
-  posted_params / 1 → lib/cgi
-  potential_members / 2 → lib/fd_sets
-  potential_members / 2 → lib/ic_sets
-  potential_members / 2 → lib/ic_hybrid_sets
-  ppid → kernel/env
-  pragma / 1 → kernel/directives
-  precede / 2 → lib/gfd
-  precede / 3 → lib/gfd
-  pred / 1 → kernel/env
-  predecessors / 3 → lib_public/grasper
-  predicate_property / 1 → lib/sepia
-  predicate_property / 2 → lib/swi
-  predicate_property / 2 → lib/prolog_extras
-  predicate_property / 2 → lib/quintus
-  predsort / 3 → lib/swi
-  prefer_rationals → kernel/env
-  prefix_element / 3 → lib_public/list_collection
-  prefix_list / 3 → lib_public/list_collection
-  pretty_print / 1 → lib/pretty_printer
-  pretty_print / 2 → lib/pretty_printer
-  pretty_print / 3 → lib/pretty_printer
-  pretty_print / 3 → lib/pretty_print
-  pretty_print / 4 → lib/pretty_printer
-  pretty_print → lib/pretty_print
-  pretty_print_close / 1 → lib/pretty_printer
-  pretty_print_open / 3 → lib/pretty_printer
-  pretty_print_term / 5 → lib/pretty_printer
-  pretty_printer → lib/pretty_printer
-  prev_lex_max / 3 → lib/ic_hybrid_sets
-  primitive / 1 → lib/cprolog
-  print / 1 → kernel/ioterm
-  print / 2 → kernel/ioterm
-  print handler → kernel/termmanip
-  print_counters / 0 → lib/coverage
-  print_default_options / 1 → lib/module_options
-  print_depth → kernel/env
-  print_list / 1 → lib/lists
-  print_solver_var / 2 → lib/ic
-  print_solver_var / 2 → lib/ic_kernel
-  print_tentative / 2 → lib/tentative
-  print_values / 3 → lib/toplevel
-  print_wam / 1 → lib/asm
-  printf / 2 → kernel/ioterm
-  printf / 3 → kernel/ioterm
-  priority → kernel/compiler
-  probe → lib/probe
-  probe_cstr_sched / 7 → lib/ic_probing_for_scheduling
-  probe_cstr_sched / 7 → lib/probing_for_scheduling
-  probe_sched / 5 → lib/ic_probing_for_scheduling
-  probe_sched / 5 → lib/probing_for_scheduling
-  probe_search / 5 → lib/ic_probe_search
-  probe_search / 5 → lib/probe_search
-  probe_search → lib/probe_search
-  probe_support → lib/probe_support
-  probing_for_scheduling → lib/probing_for_scheduling
-  profile / 1 → lib/profile
-  profile / 2 → lib/profile
-  profile / 4 → lib/cumulative
-  profile / 4 → lib/ic_cumulative
-  profile → lib/profile
-  project / 3 → lib_public/project
-  project → lib_public/project
-  prolog_extras → lib/prolog_extras
-  prolog_flag / 2 → lib/quintus
-  prolog_flag / 3 → lib/quintus
-  prolog_suffix → kernel/env
-  prompt / 2 → lib/cprolog
-  proper_graph / 1 → lib/graph_algorithms
-  propia → lib/propia
-  prune_instances / 2 → kernel/termcomp
-  public / 1 → lib/quintus
-  put / 1 → kernel/iochar
-  put / 1 → lib/cprolog
-  put / 2 → kernel/iochar
-  put / 2 → lib/quintus
-  put_assoc / 4 → lib_public/assoc
-  put_attr / 3 → lib/dynamic_attributes
-  put_attrs / 2 → lib/dynamic_attributes
-  put_atts / 2 → lib/atts
-  put_byte / 1 → lib/iso_light
-  put_byte / 2 → lib/iso_light
-  put_char / 1 → kernel/iochar
-  put_char / 1 → lib/iso_light
-  put_char / 2 → kernel/iochar
-  put_char / 2 → lib/iso_light
-  put_code / 1 → lib/iso_light
-  put_code / 2 → lib/iso_light
-  put_label / 4 → lib_public/trees
-  put_line / 1 → lib/quintus
-  q_prompt / 2 → lib/quintus_util
-  quadnorm / 6 → lib/linearize
-  queue_to_list / 2 → lib/queues
-  queues → lib/queues
-  quintus / 0 → lib/sepia
-  quintus / 1 → lib/sepia
-  quintus → lib/quintus
-  quintus_util → lib/quintus_util
-  r / 1 → lib/repair
-  r_conflict / 2 → lib/repair
-  r_conflict_prop / 2 → lib/repair
-  r_no_prop / 1 → lib/repair
-  r_prop / 1 → lib/repair
-  raise_exception / 1 → lib/sicstus
-  rand_perm / 2 → lib_public/random
-  random / 1 → kernel/arithmetic
-  random / 2 → kernel/arithmetic
-  random / 2 → lib_public/random
-  random / 3 → lib_public/random
-  random → lib_public/random
-  random_bound_reduction_test / 2 → lib/fd_prop_test_util
-  random_bound_reduction_test / 2 → lib/ic_prop_test_util
-  random_bound_reduction_test / 3 → lib/fd_prop_test_util
-  random_bound_reduction_test / 3 → lib/ic_prop_test_util
-  random_element / 2 → lib/tentative
-  random_int_between / 3 → lib/fd_prop_test_util
-  random_int_between / 3 → lib/ic_prop_test_util
-  random_mode → kernel/env
-  random_reduce_until_ground / 3 → lib/fd_prop_test_util
-  random_reduce_until_ground / 3 → lib/ic_prop_test_util
-  random_sample / 3 → lib/tentative
-  randomise / 0 → lib_public/random
-  randomise / 1 → lib_public/random
-  rational / 1 → kernel/typetest
-  rational / 2 → kernel/arithmetic
-  rational / 3 → lib/swi
-  rational tree → kernel/typetest
-  rationalize / 2 → kernel/arithmetic
-  rdiv / 3 → lib/swi
-  rdtok → lib_public/rdtok
-  reachables / 3 → lib_public/grasper
-  read / 1 → kernel/ioterm
-  read / 2 → kernel/ioterm
-  read / 2 → lib_public/distfix
-  read / 2 → lib_public/read
-  read → lib_public/read
-  read_annotated / 2 → kernel/ioterm
-  read_annotated / 3 → kernel/ioterm
-  read_data / 3 → lib/matrix_util
-  read_directory / 4 → kernel/opsys
-  read_exdr / 2 → kernel/ioterm
-  read_floats_as_breals → kernel/env
-  read_item / 2 → lib_public/flatzinc_parser
-  read_item / 2 → lib_public/flatzinc_syntax
-  read_line / 1 → lib/util
-  read_line / 2 → lib/util
-  read_string / 3 → kernel/iochar
-  read_string / 4 → kernel/iochar
-  read_string / 5 → kernel/iochar
-  read_term / 2 → kernel/ioterm
-  read_term / 2 → lib/iso_strict
-  read_term / 2 → lib/iso
-  read_term / 3 → kernel/ioterm
-  read_term / 3 → lib/iso_strict
-  read_term / 3 → lib/iso
-  read_token / 2 → kernel/iochar
-  read_token / 3 → kernel/iochar
-  read_tokens / 2 → lib_public/rdtok
-  readvar / 3 → kernel/obsolete
-  real / 1 → kernel/typetest
-  reals / 1 → lib/suspend
-  reals / 1 → lib/ic
-  reals / 1 → lib/eplex
-  reals / 1 → lib/ic_kernel
-  receive_notifications / 3 → lib/notify_ports
-  receive_notifications / 4 → lib/notify_ports
-  reconsult / 1 → lib/cprolog
-  record / 1 → kernel/record
-  record / 1 → kernel/modules
-  record / 2 → kernel/record
-  record → kernel/record
-  record_chrprule / 3 → lib/ech
-  record_chrrule / 3 → lib/ech
-  record_create / 1 → kernel/record
-  record_namedrule / 3 → lib/ech
-  record_wait_append / 4 → kernel/record
-  record_wait_remove / 3 → kernel/record
-  recorda / 2 → kernel/record
-  recorda / 3 → kernel/record
-  recorda / 3 → lib/quintus
-  recorded / 2 → kernel/record
-  recorded / 3 → kernel/record
-  recorded / 3 → lib/quintus
-  recorded_count / 2 → kernel/record
-  recorded_list / 2 → kernel/record
-  recordz / 2 → kernel/record
-  recordz / 3 → kernel/record
-  recordz / 3 → lib/quintus
-  rect / struct → lib/gfd
-  redef_handler / 2 → lib/quintus_util
-  reduced_cost_pruning / 2 → lib/eplex
-  reexport / 1 → kernel/modules
-  reference / 1 → kernel/obsolete
-  reference / 2 → kernel/storage
-  referenced_record / 2 → kernel/record
-  refine / 1 → lib/conjunto_fd_sets
-  refine / 1 → lib/conjunto
-  refine / 2 → lib_public/cardinal
-  regex → lib/regex
-  register_for_notification / 3 → lib/tentative
-  register_option / 3 → lib/config_opts
-  registry → kernel/opsys
-  regular / 2 → lib/gfd
-  reinit / 2 → lib_public/list_collection
-  rem / 3 → kernel/arithmetic
-  remote_connect / 3 → kernel/externals
-  remote_connect_accept / 6 → kernel/externals
-  remote_connect_setup / 3 → kernel/externals
-  remote_disconnect / 1 → kernel/externals
-  remote_protocol_version → kernel/env
-  remote_tools → lib/remote_tools
-  remote_yield / 1 → kernel/externals
-  remove / 4 → lib_public/m_map
-  remove / 4 → lib_public/m_tree234
-  remove_dups / 2 → lib_public/listut
-  remove_smallest / 4 → lib_public/m_map
-  remove_smallest / 4 → lib_public/m_tree234
-  remove1 / 3 → lib/probe_support
-  remove1 / 3 → lib/ic_probe_support
-  rename / 2 → kernel/opsys
-  rename_head / 2 → lib/sicstus
-  repair / 0 → lib/repairfd
-  repair / 1 → lib/repairfd
-  repair → lib/repair
-  repair / struct → lib/repair
-  repair_stat / 1 → lib/repair
-  repairfd → lib/repairfd
-  repeat / 0 → kernel/control
-  replace / 4 → lib_public/occur
-  replace_list / 4 → lib/probe_support
-  replace_list / 4 → lib/ic_probe_support
-  report_lookup_error / 3 → lib_public/mercury
-  representation_error / 1 → lib/error
-  request_notification / 2 → lib/config_opts
-  rerecord / 2 → kernel/record
-  reset / 0 → lib/instprofile
-  reset / 0 → lib/mode_analyser
-  reset_counters / 0 → lib/coverage
-  reset_error_handler / 1 → kernel/obsolete
-  reset_error_handlers / 0 → kernel/event
-  reset_event_handler / 1 → kernel/event
-  resource_error / 1 → lib/error
-  result / 0 → lib/instprofile
-  result / 0 → lib/mode_analyser
-  result / 0 → lib/coverage
-  result / 1 → lib/mode_analyser
-  result / 1 → lib/coverage
-  result / 2 → lib/coverage
-  retract / 1 → kernel/dynamic
-  retract / 1 → lib/iso_light
-  retract_all / 1 → kernel/obsolete
-  retractall / 1 → kernel/dynamic
-  rev / 2 → lib_public/listut
-  reverse / 2 → lib/lists
-  reverse_graph / 2 → lib_public/grasper
-  root / 1 → lib_public/visualize_tree
-  rotate / 3 → lib/ic_symbolic
-  rotate / 4 → lib/ic_symbolic
-  round / 2 → kernel/arithmetic
-  rtoken / 1 → lib/sepia
-  rtoken / 2 → lib/sepia
-  rtoken_body / 2 → lib/sepia
-  rtoken_body / 3 → lib/sepia
-  run_priority → kernel/compiler
-  s_member / 3 → lib_public/graphs
-  s_to_p_graph / 2 → lib_public/graphs
-  s_to_p_trans / 2 → lib_public/graphs
-  s_transpose / 2 → lib_public/graphs
-  safe_set_range / 3 → lib/ic_hybrid_sets
-  same / 2 → lib_public/fd_global_gac
-  same / 2 → lib_public/ic_global_gac
-  same_key_prefix / 5 → lib/lists_of_structures
-  same_key_prefix / 6 → lib/lists_of_structures
-  same_length / 2 → lib_public/listut
-  sameset / 2 → lib/fd_sets
-  sameset / 2 → lib/ic_sets
-  sameset / 2 → lib/ic_hybrid_sets
-  saros_lint / 1 → lib/lint
-  saros_xref / 2 → lib/xref
-  satisfies / 2 → lib/ic_hybrid_sets
-  save / 1 → lib/quintus
-  sbdd_indomain / 1 → lib/ic_gap_sbdd
-  sbdd_initialise / 5 → lib/ic_gap_sbdd
-  sbdd_initialise_set / 5 → lib/ic_gap_sbdd
-  sbdd_labeling / 1 → lib/ic_gap_sbdd
-  sbdd_record / 3 → lib/ic_gap_sbdd
-  sbdd_recorded_indomain / 3 → lib/ic_gap_sbdd
-  sbdd_shared / struct → lib/ic_gap_sbdd
-  sbdd_try / 2 → lib/ic_gap_sbdd
-  sbdd_try / 3 → lib/ic_gap_sbdd
-  sbdd_try_set / 3 → lib/ic_gap_sbdd
-  sbdd_try_set / 4 → lib/ic_gap_sbdd
-  sbds_get_index / 2 → lib/ic_sbds
-  sbds_get_index / 2 → lib/gfd_sbds
-  sbds_get_index / 2 → lib/fd_sbds
-  sbds_get_matrix / 2 → lib/ic_sbds
-  sbds_get_matrix / 2 → lib/gfd_sbds
-  sbds_get_matrix / 2 → lib/fd_sbds
-  sbds_indomain / 1 → lib/ic_gap_sbds
-  sbds_initialise / 4 → lib/ic_sbds
-  sbds_initialise / 4 → lib/gfd_sbds
-  sbds_initialise / 4 → lib/fd_sbds
-  sbds_initialise / 5 → lib/ic_sbds
-  sbds_initialise / 5 → lib/gfd_sbds
-  sbds_initialise / 5 → lib/fd_sbds
-  sbds_initialise / 5 → lib/ic_gap_sbds
-  sbds_initialise_set / 5 → lib/ic_gap_sbds
-  sbds_labeling / 1 → lib/ic_gap_sbds
-  sbds_record / 3 → lib/ic_gap_sbds
-  sbds_try / 2 → lib/ic_sbds
-  sbds_try / 2 → lib/gfd_sbds
-  sbds_try / 2 → lib/fd_sbds
-  sbds_try / 2 → lib/ic_gap_sbds
-  sbds_try / 3 → lib/ic_gap_sbds
-  sbds_try_set / 3 → lib/ic_gap_sbds
-  sbds_try_set / 4 → lib/ic_gap_sbds
-  scalar_product / 4 → lib/clpfd
-  scalar_product / 4 → lib/gfd
-  scalar_product / 5 → lib/gfd
-  schedule_suspensions / 1 → kernel/suspensions
-  schedule_suspensions / 2 → kernel/suspensions
-  schedule_woken / 1 → kernel/obsolete
-  sd → lib/sd
-  sd / struct → lib/sd
-  search / 3 → lib_public/m_map
-  search / 3 → lib_public/m_tree234
-  search / 6 → lib/fd_search
-  search / 6 → lib/gfd_search
-  search / 6 → lib/ic
-  search / 6 → lib/gfd
-  search → lib/best_first_search
-  see / 1 → lib/cio
-  seed / 1 → kernel/arithmetic
-  seeing / 1 → lib/cio
-  seek / 2 → kernel/iostream
-  seek / 4 → lib/swi
-  seen / 0 → lib/cio
-  select / 3 → kernel/obsolete
-  select / 3 → lib/eclipse_6
-  select / 3 → lib/lists
-  select / 3 → lib_public/m_map
-  select / 4 → lib_public/listut
-  select_var / 5 → lib/gfd
-  selectlist / 3 → lib/apply_macros
-  send_notification / 2 → lib/notify_ports
-  send_notification / 3 → lib/notify_ports
-  separate_by_key / 5 → lib/lists_of_structures
-  sepia → lib/sepia
-  sequence / 4 → lib/gfd
-  sequence / 4 → lib_public/fd_global_gac
-  sequence / 4 → lib_public/ic_global_gac
-  sequence / 5 → lib/gfd
-  sequence / 5 → lib_public/fd_global_gac
-  sequence / 5 → lib_public/ic_global_gac
-  sequence_total / 6 → lib/fd_global
-  sequence_total / 6 → lib/ic_global
-  sequence_total / 7 → lib/fd_global
-  sequence_total / 7 → lib/ic_global
-  serialized / 2 → lib/clpfd
-  serve_queue / 3 → lib/queues
-  session_close / 1 → lib/dbi
-  session_commit / 1 → lib/dbi
-  session_rollback / 1 → lib/dbi
-  session_sql / 3 → lib/dbi
-  session_sql_prepare / 4 → lib/dbi
-  session_sql_prepare_query / 5 → lib/dbi
-  session_sql_query / 4 → lib/dbi
-  session_sql_query / 5 → lib/dbi
-  session_start / 4 → lib/dbi
-  session_transaction / 2 → lib/dbi
-  session_transaction / 3 → lib/dbi
-  set / 1 → lib/conjunto
-  set / 2 → lib/colgen
-  set / 4 → lib_public/cardinal
-  set / 4 → lib_public/m_map
-  set / 4 → lib_public/m_tree234
-  set_bounds handler → kernel/termmanip
-  set_callsite_data / 2 → lib/instrument
-  set_chtab / 2 → kernel/syntax
-  set_default_option / 2 → lib/module_options
-  set_error_handler / 2 → kernel/obsolete
-  set_event_handler / 2 → kernel/event
-  set_flag / 2 → kernel/env
-  set_flag / 3 → kernel/compiler
-  set_input / 1 → lib/iso_light
-  set_input / 1 → lib/quintus
-  set_interrupt_handler / 2 → kernel/event
-  set_labeling / 1 → lib_public/cardinal
-  set_labeling / 2 → lib_public/cardinal
-  set_leash / 2 → kernel/debug
-  set_lex_max / 3 → lib/ic_hybrid_sets
-  set_lex_min / 3 → lib/ic_hybrid_sets
-  set_option / 2 → lib/config_opts
-  set_output / 1 → lib/iso_light
-  set_output / 1 → lib/quintus
-  set_pool_item / 2 → lib/constraint_pools
-  set_probect / 1 → lib/probe
-  set_probect / 1 → lib/ic_probe
-  set_prolog_flag / 2 → lib/iso_light
-  set_prolog_flag / 2 → lib/iso_strict
-  set_prompt / 3 → kernel/obsolete
-  set_random / 1 → lib/swi
-  set_range / 3 → lib/fd_sets
-  set_range / 3 → lib/conjunto
-  set_range / 3 → lib/ic_sets
-  set_range / 3 → lib/ic_hybrid_sets
-  set_stream / 2 → kernel/iostream
-  set_stream / 2 → lib/swi
-  set_stream_position / 2 → lib/iso_light
-  set_stream_property / 3 → kernel/iostream
-  set_suspension_data / 3 → kernel/suspensions
-  set_suspension_priority / 2 → kernel/obsolete
-  set_threshold / 1 → lib/ic
-  set_threshold / 1 → lib/ic_kernel
-  set_threshold / 2 → lib/ic
-  set_threshold / 2 → lib/ic_kernel
-  set_timer / 2 → kernel/obsolete
-  set_to_min / 1 → lib/probe_support
-  set_to_min / 1 → lib/ic_probe_support
-  set_to_tent / 1 → lib/probe_support
-  set_to_tent / 1 → lib/ic_probe_support
-  set_typed_pool_constraints / 3 → lib/constraint_pools
-  set_up_probe / 5 → lib/probe
-  set_up_probe / 5 → lib/ic_probe
-  set_var_bounds / 3 → kernel/termmanip
-  set_var_integer / 1 → lib/ic_kernel
-  set_var_name / 2 → lib/var_name
-  set_var_name_counter / 2 → lib/var_name
-  set_var_real / 1 → lib/ic_kernel
-  set_var_type / 2 → lib/ic_kernel
-  set_vars_type / 2 → lib/ic_kernel
-  set_weighted_degree_decay / 1 → lib/gfd
-  set2list / 2 → lib/conjunto_fd_sets
-  set2list / 2 → lib/conjunto
-  setarg / 3 → kernel/termmanip
-  setbit / 3 → kernel/arithmetic
-  setenv / 2 → kernel/opsys
-  setof / 3 → kernel/allsols
-  setref / 2 → kernel/storage
-  sets / 4 → lib_public/cardinal
-  setup_call_cleanup / 3 → lib/prolog_extras
-  setval / 2 → kernel/storage
-  sformat / 2 → lib/swi
-  sformat / 3 → lib/swi
-  sgn / 2 → kernel/arithmetic
-  sh / 0 → lib/cprolog
-  sh / 1 → kernel/opsys
-  shadow_call / 2 → lib/shadow_cons
-  shadow_cons → lib/shadow_cons
-  shadow_var / 3 → lib/shadow_cons
-  shelf / 2 → kernel/storage
-  shelf_abolish / 1 → kernel/storage
-  shelf_create / 2 → kernel/storage
-  shelf_create / 3 → kernel/storage
-  shelf_dec / 2 → kernel/storage
-  shelf_get / 3 → kernel/storage
-  shelf_get_and_dec / 3 → kernel/storage
-  shelf_inc / 2 → kernel/storage
-  shelf_inc_and_get / 3 → kernel/storage
-  shelf_set / 3 → kernel/storage
-  shelf_size / 2 → kernel/storage
-  shelf_test_and_set / 4 → kernel/storage
-  shift / 3 → lib/ic_symbolic
-  shift / 4 → lib/ic_symbolic
-  shorter_list / 2 → lib_public/listut
-  shortest_paths / 4 → lib/graph_algorithms
-  shortest_paths_bellman_ford / 4 → lib/graph_algorithms
-  should_fail / 1 → lib/test_util
-  should_fail / 2 → lib/test_util
-  should_give / 2 → lib/test_util
-  should_give / 3 → lib/test_util
-  should_raise / 2 → lib/test_util
-  should_raise / 3 → lib/test_util
-  should_throw / 2 → lib/test_util
-  should_throw / 3 → lib/test_util
-  shuffle / 2 → lib/lists
-  sicstus / 0 → lib/sepia
-  sicstus / 1 → lib/sepia
-  sicstus → lib/sicstus
-  simple / 1 → lib_public/metutl
-  simplify / 2 → lib/linearize
-  sin / 2 → kernel/arithmetic
-  single_pair_all_short_paths_as_graph / 7 → lib/graph_algorithms
-  single_pair_short_path / 6 → lib/graph_algorithms
-  single_pair_shortest_path / 5 → lib/graph_algorithms
-  single_pair_shortest_path_bellman_ford / 5 → lib/graph_algorithms
-  singleton_heap / 3 → lib/heaps
-  size / 2 → lib_public/grasper
-  skip / 1 → lib/cio
-  skip / 2 → lib/cio
-  skip → kernel/directives
-  skip → kernel/compiler
-  skipped / 1 → kernel/debug
-  sleep / 1 → kernel/opsys
-  socket / 2 → lib/sockets
-  socket / 3 → kernel/iostream
-  socket_accept / 2 → lib/sockets
-  socket_bind / 2 → lib/sockets
-  socket_connect / 3 → lib/sockets
-  socket_listen / 2 → lib/sockets
-  socket_select / 5 → lib/sockets
-  sockets → lib/sockets
-  Soft cut → kernel/control
-  solution / 1 → lib_public/visualize_tree
-  solution_out_of_range / 1 → lib/eplex
-  solve / 1 → lib/bfs
-  solver_constraints_number / 1 → lib/gfd
-  solver_setup / 2 → lib/bfs
-  solver_setup / 2 → lib/colgen
-  solver_setup / 3 → lib/bfs
-  solver_setup / 3 → lib/colgen
-  solver_vars_number / 1 → lib/gfd
-  some / 2 → lib_public/applic
-  somechk / 2 → lib_public/applic
-  sort / 2 → kernel/termcomp
-  sort / 2 → lib_public/fzn_fd
-  sort / 2 → lib_public/fzn_ic
-  sort / 4 → kernel/termcomp
-  sorted / 2 → lib/gfd
-  sorted / 2 → lib/fd_global
-  sorted / 2 → lib/ic_global
-  sorted / 3 → lib/gfd
-  sorted / 3 → lib/fd_global
-  sorted / 3 → lib/ic_global
-  sorted_g / 3 → lib/gfd
-  sorted_keys / 2 → lib_public/m_map
-  sorted_list_to_dom / 2 → lib/fd
-  sos1 / 1 → lib/eplex
-  sos2 / 1 → lib/eplex
-  source_close / 2 → lib/source_processor
-  source_file / 1 → lib/quintus
-  source_file / 2 → lib/quintus
-  source_open / 3 → lib/source_processor
-  source_position / struct → lib/source_processor
-  source_processor → lib/source_processor
-  source_read / 4 → lib/source_processor
-  source_term / struct → lib/source_processor
-  spanning forest → lib/graph_algorithms
-  spanning tree → lib/graph_algorithms
-  spell → lib/spell
-  splice / 3 → lib/lists
-  split / 4 → lib/regex
-  split_string / 4 → kernel/stratom
-  sprintf / 3 → kernel/ioterm
-  spy / 1 → kernel/debug
-  spy → kernel/compiler
-  spy_term / 2 → kernel/debug
-  spy_var / 1 → kernel/debug
-  sqrt / 2 → kernel/arithmetic
-  squash / 3 → lib/ic
-  stable and unique names → lib/var_name
-  start_break / 3 → lib/toplevel
-  start_tracing → kernel/compiler
-  start_tty_vc / 1 → lib/tty_vc
-  start_tty_vc / 2 → lib/tty_vc
-  start_tty_vc / 3 → lib/tty_vc
-  start_vc / 1 → lib/java_vc
-  statistics / 0 → kernel/env
-  statistics / 0 → lib/bfs
-  statistics / 0 → lib/quintus
-  statistics / 2 → kernel/env
-  statistics / 2 → lib/quintus
-  statistics_par / 0 → lib/par_util
-  statistics_par_reset / 0 → lib/par_util
-  statprofile / 2 → lib/instprofile
-  statprofile / 3 → lib/instprofile
-  statsample / 4 → lib/instprofile
-  statsample_control / 2 → lib/instprofile
-  stop_tty_vc / 0 → lib/tty_vc
-  stop_vc / 1 → lib/java_vc
-  storage → kernel/storage
-  store / 1 → kernel/storage
-  store / 4 → lib_public/arrays
-  store_contains / 2 → kernel/storage
-  store_count / 2 → kernel/storage
-  store_create / 1 → kernel/storage
-  store_delete / 2 → kernel/storage
-  store_erase / 1 → kernel/storage
-  store_get / 3 → kernel/storage
-  store_inc / 2 → kernel/storage
-  store_insert / 3 → kernel/storage
-  store_remove / 3 → kernel/storage
-  store_set / 3 → kernel/storage
-  store_test_and_set / 4 → kernel/storage
-  store_update / 4 → kernel/storage
-  stored_keys / 2 → kernel/storage
-  stored_keys_and_values / 2 → kernel/storage
-  stratom → kernel/stratom
-  stream / 1 → lib/util
-  stream alias → kernel/iostream
-  stream redirection → kernel/iostream
-  stream_code / 2 → lib/quintus
-  stream_position / 2 → lib/quintus
-  stream_position / 3 → lib/quintus
-  stream_property / 2 → lib/iso_light
-  stream_property / 2 → lib/iso_strict
-  stream_property / 2 → lib/swi
-  stream_property / 2 → lib/iso
-  stream_select / 3 → kernel/iostream
-  stream_select / 3 → lib/sockets
-  stream_to_lazy_list / 2 → lib/lazy_io
-  stream_to_list / 3 → lib/lazy_io
-  stream_truncate / 1 → kernel/iostream
-  streams / 0 → lib/util
-  string / 1 → kernel/typetest
-  string_char / 3 → kernel/stratom
-  string_chars / 2 → kernel/stratom
-  string_code / 3 → kernel/stratom
-  string_codes / 2 → kernel/stratom
-  string_concat / 3 → kernel/stratom
-  string_length / 2 → kernel/stratom
-  string_list / 2 → kernel/stratom
-  string_list / 3 → kernel/stratom
-  string_lower / 2 → kernel/stratom
-  string_to_atom / 2 → lib/swi
-  string_to_list / 2 → lib/swi
-  string_upper / 2 → kernel/stratom
-  strong_components / 2 → lib/graph_algorithms
-  strongly_connected / 1 → lib_public/grasper
-  struct / 1 → kernel/syntax
-  struct → lib_public/struct
-  style_check / 1 → lib/quintus
-  sub_atom / 5 → lib/iso_light
-  sub_string / 5 → kernel/stratom
-  subcall / 2 → kernel/suspensions
-  subgraph / 2 → lib_public/grasper
-  sublist / 3 → lib_public/applic
-  subscript / 3 → kernel/termmanip
-  subscript / 3 → lib/eclipse_6
-  subseq / 3 → lib_public/listut
-  subseq0 / 2 → lib_public/listut
-  subseq1 / 2 → lib_public/listut
-  subset / 2 → lib/fd_sets
-  subset / 2 → lib/ic_sets
-  subset / 2 → lib/ic_hybrid_sets
-  subset / 2 → lib/lists
-  subsetof / 2 → lib/fd_sets
-  subsetof / 2 → lib/ic_sets
-  subsetof / 2 → lib/ic_hybrid_sets
-  subst / 3 → lib_public/struct
-  substitute_placeholders / 3 → lib/cgi
-  substring / 3 → kernel/stratom
-  substring / 4 → kernel/stratom
-  substring / 5 → kernel/stratom
-  subsumes / 2 → lib_public/metutl
-  subsumes_chk / 2 → lib_public/metutl
-  subsumes_term / 2 → lib/iso_light
-  subterm / 2 → lib_public/metutl
-  subtract / 3 → lib/lists
-  succ / 2 → kernel/arithmetic
-  successors / 3 → lib_public/grasper
-  suffix / 2 → kernel/obsolete
-  sum / 2 → kernel/arithmetic
-  sum / 2 → lib/gfd
-  sum / 3 → lib/clpfd
-  sum / 3 → lib/gfd
-  sum / 4 → lib/gfd
-  sum_ge_zero / 1 → lib/fd_global
-  sum_ge_zero / 1 → lib/ic_global
-  sum_list / 2 → lib/swi
-  sum_weight / 2 → lib/conjunto
-  sumargs / 4 → lib/apply_macros
-  sumlist / 2 → lib/gfd
-  sumlist / 2 → lib/fd_global
-  sumlist / 2 → lib/ic_global
-  sumlist / 2 → lib_public/listut
-  sumlist / 4 → lib/apply_macros
-  sumnodes / 4 → lib/apply_macros
-  suspend / 3 → kernel/suspensions
-  suspend / 4 → kernel/suspensions
-  suspend → lib/suspend
-  suspend_constraint / 4 → lib/ech
-  suspend_on_change / 2 → lib/tentative
-  suspend_on_change / 2 → lib/repair
-  suspend_on_change / 2 → lib/eplex
-  suspendindexpos / 2 → lib/ech
-  suspension handler → kernel/termmanip
-  suspension_lists declaration → kernel/termmanip
-  suspension_to_goal / 3 → kernel/obsolete
-  suspensions / 1 → kernel/suspensions
-  suspensions / 2 → kernel/suspensions
-  suspensions → kernel/suspensions
-  swapref / 3 → kernel/storage
-  swi → lib/swi
-  sym_expr → lib/sym_expr
-  symbol_domain_index / 3 → lib/ic_symbolic
-  symbols_domain_indices / 3 → lib/ic_symbolic
-  symdiff / 3 → lib/fd_sets
-  symdiff / 3 → lib/ic_sets
-  symdiff / 3 → lib/ic_hybrid_sets
-  symmetric / 1 → lib_public/grasper
-  syntax → kernel/syntax
-  syntax_errors_fail → kernel/env
-  syntax_option / 1 → kernel/modules
-  syntax_option / 1 → kernel/modules
-  syntax_option / 1 → kernel/modules
-  syntax_option → kernel/env
-  system / 1 → kernel/opsys
-  system → kernel/directives
-  system_object_suffix → kernel/env
-  tab / 1 → lib/cio
-  tab / 2 → lib/cio
-  table / 2 → lib/ic_mdd
-  table / 2 → lib/gfd
-  table / 2 → lib/fd_mdd
-  table / 2 → lib_public/fzn_ic
-  tan / 2 → kernel/arithmetic
-  task / struct → lib/probe_support
-  task / struct → lib/ic_probe_support
-  task_structure / 4 → lib/probe_support
-  task_structure / 4 → lib/ic_probe_support
-  tell / 1 → lib/cio
-  telling / 1 → lib/cio
-  tenable / 1 → lib/repair
-  tent_call / 3 → lib/repair
-  tent_call / 4 → lib/repair
-  tent_fix / 1 → lib/tentative
-  tent_get / 2 → lib/tentative
-  tent_get / 2 → lib/repair
-  tent_implements / 2 → lib/tentative
-  tent_is / 2 → lib/tentative
-  tent_is / 2 → lib/repair
-  tent_is / 3 → lib/repair
-  tent_minimize_random / 3 → lib/tentative
-  tent_set / 2 → lib/tentative
-  tent_set / 2 → lib/repair
-  tent_set_all / 2 → lib/tentative
-  tent_set_attr / 2 → lib/tentative
-  tent_set_random / 2 → lib/tentative
-  tent_trace_array / 3 → lib/tentative
-  tentative → lib/tentative
-  tentative assignments → lib/repair
-  tentative_constraints → lib/tentative_constraints
-  tentative_ground / 2 → lib/repair
-  term_attvars / 2 → lib/dynamic_attributes
-  term_expansion / 2 → lib/quintus
-  term_hash / 4 → kernel/termcomp
-  term_string / 2 → kernel/termmanip
-  term_string / 3 → kernel/termmanip
-  term_to_bytes / 2 → kernel/termmanip
-  term_variables / 2 → kernel/termmanip
-  term_variables / 2 → lib/eclipse_6
-  term_variables_array / 2 → kernel/termmanip
-  term_variables_count / 2 → kernel/termmanip
-  termcomp → kernel/termcomp
-  terminate_all_lists / 2 → lib_public/list_collection
-  terminate_and_get_list / 3 → lib_public/list_collection
-  termmanip → kernel/termmanip
-  terms_functor / 4 → lib/lists_of_structures
-  test / 1 → lib/test_util
-  test / 2 → lib/test_util
-  test_and_setval / 3 → kernel/storage
-  test_info / 2 → lib/test_util
-  test_sub_bag / 2 → lib_public/bags
-  test_unify handler → kernel/termmanip
-  test_util → lib/test_util
-  text_to_string / 2 → kernel/stratom
-  thread_cancel / 1 → lib/threads
-  thread_create / 1 → lib/threads
-  thread_create / 2 → lib/threads
-  thread_create / 3 → lib/threads
-  thread_default / 1 → lib/threads
-  thread_detach / 1 → lib/threads
-  thread_exit / 1 → lib/threads
-  thread_get_message / 1 → lib/threads
-  thread_get_message / 2 → lib/threads
-  thread_join / 2 → lib/threads
-  thread_peek_message / 1 → lib/threads
-  thread_peek_message / 2 → lib/threads
-  thread_property / 2 → lib/threads
-  thread_self / 1 → lib/threads
-  thread_send_message / 1 → lib/threads
-  thread_send_message / 2 → lib/threads
-  thread_set_default / 1 → lib/threads
-  thread_signal / 2 → lib/threads
-  thread_sleep / 1 → lib/threads
-  threads → lib/threads
-  throttle_default / 1 → lib/ic_gap_sbdd
-  throttle_depth_mod_non_unique / 2 → lib/ic_gap_sbdd
-  throttle_depth_mod_unique / 2 → lib/ic_gap_sbdd
-  throttle_depth_non_unique / 2 → lib/ic_gap_sbdd
-  throttle_depth_unique / 2 → lib/ic_gap_sbdd
-  throw / 1 → kernel/control
-  tidy / 2 → lib_public/tidy
-  tidy → lib_public/tidy
-  tidy_expr / 2 → lib_public/tidy
-  tidy_stmt / 2 → lib_public/tidy
-  tidy_withvars / 2 → lib_public/tidy
-  time / 1 → lib/util
-  time_log → lib/time_log
-  time_to_mjd / 2 → lib/calendar
-  timeout / 3 → lib/timeout
-  timeout / 3 → lib/timeout_simple
-  timeout / 7 → lib/timeout
-  timeout / 7 → lib/timeout_simple
-  timeout → lib/timeout
-  timeout_simple → lib/timeout_simple
-  times / 3 → kernel/arithmetic
-  times_to_list / 2 → lib_public/flat
-  tmp_dir → kernel/env
-  to_assoc_list / 2 → lib_public/m_map
-  to_sorted_assoc_list / 2 → lib_public/m_map
-  told / 0 → lib/cio
-  tool / 1 → kernel/obsolete
-  tool / 2 → kernel/modules
-  tool / struct → lib_public/cpviz
-  tool_body / 3 → kernel/modules
-  tools / 0 → lib/remote_tools
-  top_sort / 2 → lib/graph_algorithms
-  top_sort / 2 → lib_public/graphs
-  toplevel / 0 → lib/toplevel
-  toplevel → lib/toplevel
-  toplevel_init / 1 → lib/toplevel
-  toplevel_module → kernel/env
-  toplevel_prompt / 2 → lib/toplevel
-  tr_chr / 2 → lib/chr
-  tr_fd_out / 2 → lib/fd
-  tr_foreign / 3 → lib/foreign
-  tr_global_out / 2 → lib/fd_global
-  tr_global_out / 2 → lib/ic_global
-  tr_ic_c_constant / 2 → lib/ic_kernel
-  tr_ic_kernel_out / 2 → lib/ic_kernel
-  tr_if_suspend / 3 → lib/suspend
-  tr_lib / 2 → lib/quintus
-  tr_monitors / 2 → lib/repair
-  tr_propia / 2 → lib/propia
-  tr_ria_binop / 2 → lib/ic_kernel
-  tr_ria_binop1 / 2 → lib/ic_kernel
-  tr_ria_binop7 / 2 → lib/ic_kernel
-  tr_ria_ternop / 2 → lib/ic_kernel
-  tr_ria_ternop1 / 2 → lib/ic_kernel
-  tr_ria_ternop9 / 2 → lib/ic_kernel
-  tr_ria_unop / 2 → lib/ic_kernel
-  tr_ria_unop1 / 2 → lib/ic_kernel
-  tr_ria_unop5 / 2 → lib/ic_kernel
-  tr_slists / 2 → lib/conjunto_fd_sets
-  trace / 0 → kernel/debug
-  trace / 0 → lib/quintus
-  trace / 1 → kernel/debug
-  trace_call_port / 3 → kernel/debug
-  trace_exit_port / 0 → kernel/debug
-  trace_parent_port / 1 → kernel/debug
-  trace_point_port / 3 → kernel/debug
-  traceable / 1 → kernel/debug
-  trans / struct → lib/gfd
-  transpose / 2 → lib/clpfd
-  transpose / 2 → lib/matrix_util
-  tree_indomain / 3 → lib_public/visualize_tree
-  tree_indomain_max / 3 → lib_public/visualize_tree
-  tree_indomain_middle / 3 → lib_public/visualize_tree
-  tree_indomain_min / 3 → lib_public/visualize_tree
-  tree_indomain_random / 3 → lib_public/visualize_tree
-  tree_size / 2 → lib_public/trees
-  tree_to_list / 2 → lib_public/trees
-  tree234_to_assoc_list / 2 → lib_public/m_tree234
-  trees → lib_public/trees
-  trigger / 1 → kernel/suspensions
-  trimcore / 0 → kernel/env
-  true / 0 → kernel/control
-  truncate / 2 → kernel/arithmetic
-  try / 4 → lib_public/visualize_tree
-  try_c / 4 → lib_public/visualize_tree
-  try_value / 2 → lib/gfd
-  tty_ask_more / 2 → lib/toplevel
-  tty_banner / 2 → lib/toplevel
-  tty_vc → lib/tty_vc
-  ttyflush / 0 → lib/quintus
-  ttyget / 1 → lib/quintus
-  ttyget0 / 1 → lib/quintus
-  ttynl / 0 → lib/quintus
-  ttyput / 1 → lib/quintus
-  ttyskip / 1 → lib/quintus
-  ttytab / 1 → lib/quintus
-  tuples_in / 2 → lib/clpfd
-  tyi / 1 → kernel/iochar
-  tyi / 2 → kernel/iochar
-  tyo / 1 → kernel/iochar
-  tyo / 2 → kernel/iochar
-  type_error / 2 → lib/error
-  type_of / 2 → kernel/typetest
-  typetest → kernel/typetest
-  underlying_graph / 2 → lib_public/grasper
-  undirgraph / 3 → lib_public/grasper
-  unget / 1 → kernel/iochar
-  unicode → kernel/stratom
-  unifiable / 3 → lib/swi
-  unify / 2 → lib_public/metutl
-  unify handler → kernel/termmanip
-  unify_with_occurs_check / 2 → lib/iso_light
-  uninstantiation_error / 1 → lib/error
-  union / 3 → lib/fd_sets
-  union / 3 → lib/ic_sets
-  union / 3 → lib/ic_hybrid_sets
-  union / 3 → lib/lists
-  union_lex / 3 → lib/ic_hybrid_sets
-  union_var / 2 → lib_public/cardinal
-  unix / 1 → lib/quintus
-  unix_time → kernel/env
-  unix_to_mjd / 2 → lib/calendar
-  unknown / 2 → lib/quintus
-  unlock / 2 → kernel/modules
-  unschedule_suspension / 1 → kernel/suspensions
-  unskipped / 1 → kernel/debug
-  untraceable / 1 → kernel/debug
-  update / 4 → lib/lists_of_structures
-  update / 4 → lib_public/m_map
-  update / 4 → lib_public/m_tree234
-  update_struct / 4 → kernel/termmanip
-  upper_bound_lookup / 4 → lib_public/m_map
-  upper_bound_lookup / 4 → lib_public/m_tree234
-  upper_bound_search / 4 → lib_public/m_map
-  upper_bound_search / 4 → lib_public/m_tree234
-  use_module / 1 → kernel/modules
-  use_module / 1 → lib/quintus
-  use_module / 2 → lib/quintus
-  utf8 → kernel/stratom
-  util → lib/util
-  value_spec_to_range / 3 → lib/sym_expr
-  values / 2 → lib_public/m_map
-  values / 2 → lib_public/m_tree234
-  var / 1 → kernel/typetest
-  var_fd / 2 → lib/fd
-  var_functor_is_apply → kernel/env
-  var_get / 3 → lib/bfs
-  var_get / 3 → lib/colgen
-  var_get_violations / 2 → lib/tentative
-  var_inc_violations / 2 → lib/tentative
-  var_member_chk / 2 → lib_public/metutl
-  var_name → lib/var_name
-  variable / 1 → kernel/storage
-  variable / 2 → kernel/storage
-  variable name → lib/var_name
-  variable_names → kernel/env
-  variables / 2 → lib_public/struct
-  variables_of / 2 → lib_public/metutl
-  variant / 2 → kernel/termcomp
-  variant / 2 → lib_public/metutl
-  vc_support → lib/vc_support
-  version / 0 → lib/quintus
-  version / 1 → lib/quintus
-  version → kernel/env
-  version_as_list → kernel/env
-  vertices / 2 → lib_public/graphs
-  view_graph / 1 → lib/graphviz
-  view_graph / 2 → lib/graphviz
-  view_graph / 3 → lib/graphviz
-  view_mdd / 1 → lib/mdd_support
-  viewable / 1 → lib/viewable
-  viewable / 1 → lib/vc_support
-  viewable → lib/viewable
-  viewable_changeable_execute / 4 → lib/vc_support
-  viewable_create / 2 → lib/viewable
-  viewable_create / 2 → lib/vc_support
-  viewable_create / 3 → lib/viewable
-  viewable_create / 3 → lib/vc_support
-  viewable_create / 4 → lib/viewable
-  viewable_create / 4 → lib/vc_support
-  viewable_element / 3 → lib/vc_support
-  viewable_element_execute / 3 → lib/vc_support
-  viewable_element_to_string / 2 → lib/vc_support
-  viewable_expand / 3 → lib/viewable
-  viewable_expand / 3 → lib/vc_support
-  viewable_expand / 4 → lib/viewable
-  viewable_expand / 4 → lib/vc_support
-  viewable_get_location_name / 4 → lib/vc_support
-  viewable_get_location_names / 3 → lib/vc_support
-  viewable_size / 2 → lib/viewable
-  viewable_size / 2 → lib/vc_support
-  viewable_type / 2 → lib/viewable
-  viewable_type / 2 → lib/vc_support
-  vis_client_breakpoint / 0 → lib/vc_support
-  vis_client_interest_modify / 5 → lib/vc_support
-  vis_client_register / 4 → lib/vc_support
-  vis_client_request_termination / 1 → lib/vc_support
-  vis_client_unregister / 1 → lib/vc_support
-  vis_structures → lib_public/vis_structures
-  visualization → lib_public/visualization
-  visualization / struct → lib_public/vis_structures
-  visualize_tree → lib_public/visualize_tree
-  visualizer / struct → lib_public/vis_structures
-  viz / 2 → lib_public/cpviz
-  viztool / 0 → lib_public/cpviz
-  vs_all / 2 → lib/tentative
-  vs_all_violated / 2 → lib/tentative
-  vs_all_violated_index / 2 → lib/tentative
-  vs_all_worst / 2 → lib/tentative
-  vs_all_worst_index / 2 → lib/tentative
-  vs_create / 2 → lib/tentative
-  vs_element / 3 → lib/tentative
-  vs_member / 2 → lib/tentative
-  vs_random / 2 → lib/tentative
-  vs_random_index / 2 → lib/tentative
-  vs_random_violated / 2 → lib/tentative
-  vs_random_violated_index / 2 → lib/tentative
-  vs_random_worst / 2 → lib/tentative
-  vs_random_worst_index / 2 → lib/tentative
-  vs_size / 2 → lib/tentative
-  vs_violated / 2 → lib/tentative
-  vs_violated_index / 2 → lib/tentative
-  vs_worst / 2 → lib/tentative
-  vs_worst_index / 2 → lib/tentative
-  wait / 2 → kernel/opsys
-  wait_for_input / 3 → lib/swi
-  wake / 0 → kernel/suspensions
-  wam / 1 → lib/asm
-  wam / 2 → lib/asm
-  warnings → kernel/directives
-  warnings → kernel/compiler
-  warshall / 2 → lib_public/graphs
-  watch / 1 → lib/fd_sets
-  watch / 1 → lib/ic_sets
-  watch / 1 → lib/ic_hybrid_sets
-  weakly_connected / 1 → lib_public/grasper
-  weight / 3 → lib/fd_sets
-  weight / 3 → lib/ic_sets
-  weight / 3 → lib/ic_hybrid_sets
-  weight / 3 → lib_public/grasper
-  when / 2 → lib/sicstus
-  with → kernel/syntax
-  with_mutex / 2 → kernel/engines
-  with_mutex / 2 → lib/threads
-  wm_get / 2 → lib/sepia
-  wm_set / 2 → lib/sepia
-  wm_window → kernel/env
-  worker → kernel/env
-  workerids → kernel/env
-  workers → kernel/env
-  wrapperinpos / 2 → lib/ech
-  write / 1 → kernel/ioterm
-  write / 2 → kernel/ioterm
-  write_canonical / 1 → kernel/ioterm
-  write_canonical / 2 → kernel/ioterm
-  write_exdr / 2 → kernel/ioterm
-  write_graph / 2 → lib/graphviz
-  write_graph / 3 → lib/graphviz
-  write_graph / 4 → lib/graphviz
-  write_history / 0 → lib/toplevel
-  write_term / 2 → kernel/ioterm
-  write_term / 2 → lib/iso_strict
-  write_term / 2 → lib/iso
-  write_term / 3 → kernel/ioterm
-  write_term / 3 → lib/iso_strict
-  write_term / 3 → lib/iso
-  writeclause / 1 → kernel/ioterm
-  writeclause / 2 → kernel/ioterm
-  writeln / 1 → kernel/ioterm
-  writeln / 2 → kernel/ioterm
-  writeq / 1 → kernel/ioterm
-  writeq / 2 → kernel/ioterm
-  xget / 3 → kernel/externals
-  xml → lib_public/xml
-  xml_parse / 2 → lib_public/xml
-  xml_parse / 3 → lib_public/xml
-  xml_pp / 1 → lib_public/xml
-  xml_subterm / 2 → lib_public/xml
-  xor / 2 → lib/gfd
-  xor / 3 → kernel/arithmetic
-  xor / 3 → lib/gfd
-  xref / 2 → lib/xref
-  xref → lib/xref
-  xset / 3 → kernel/externals
-  yield / 2 → kernel/engines
-  ymd_to_mjd / 2 → lib/calendar
-  ywd_to_mjd / 2 → lib/calendar
-  zcompare / 3 → lib/clpfd
-  zn_options / 2 → lib_public/flatzinc
-  zn_options / struct → lib_public/flatzinc
-  zn_var / struct → lib_public/flatzinc
Generated 2023-01-01 18:11