This module implements some utils to do term manipulation.
Determines the size of a term.
Term and Copy have the same first N arguments.
Arg is an argument of Term. Gives each of the arguments on backtracking.
Atm is the atom resulting from concatenating all atoms in the list Atms in the order in which they appear. If Atm is an atom at call then Atms can contain free variables.