I know it is a vague question, but still: what is it about terms that makes them more appropriate for nesting than lists? Or are lists (internally) a trivial case of nested terms?
(I realize I could "use the source", SWI-Prolog, for example, but a pointer in the right direction would be appreciated)