lib(lists)

Hi Kish,
When does a library get loaded automatically?
When a library is loaded automatically, which predicates are xported?

This is very mysterious to users:

ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.0.0, Fri Jun 23 01:09 2000
[eclipse 1]: splice([a,b],[c,d],M).
calling an undefined procedure splice([a, b], [c, d], M) in module
eclipse
[eclipse 2]: intersection([a,b],[c,d],M).
lists.pl   compiled traceable 5188 bytes in 0.02 seconds

M = []
yes.
[eclipse 3]: halve([a,b],C,D).
calling an undefined procedure halve([a, b], C, D) in module eclipse
[eclipse 4]: 1.
splice([a, b], [c, d], M).
calling an undefined procedure splice([a, b], [c, d], M) in module
eclipse
[eclipse 5]: lib(lists).

yes.
[eclipse 6]: 1.
splice([a, b], [c, d], M).

M = [a, c, b, d]
yes.