Term manipulation utilities

Author(s): The CLIP Group.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#94 (2003/12/21, 18:44:37 CET)

This module implements some utils to do term manipulation.

Usage and interface (`terms`)

PREDICATE: copy_args/3:

Usage: copy_args(N, Term, Copy)

Description: Term and Copy have the same first N arguments.
The following properties should hold at call time: N is a non-negative integer. (basic_props:nnegint/1)

PREDICATE: arg/2:

Usage: arg(Term, Arg)

Description: Arg is an argument of Term. Gives each of the arguments on backtracking.

PREDICATE: atom_concat/2:

atom_concat(Atms, Atm)

Atm is the atom resulting from concatenating all atoms in the list Atms in the order in which they appear.