- - A library with the same name is used in SWI and other
systems with very different functionality.
- copy_args(+N, ?Term, ?Copy) is semidet
- Term and Copy have the same first N arguments.
- arg(+Term, ?Arg) is nondet
- Arg is an argument of Term. Gives each of the arguments on
- atom_concat(+Atms, -Atm) is det
- Atm is the atom resulting from concatenating all atoms in the
list Atms in the order in which they appear.