Term manipulation

• Term =.. List The functor and arguments of the term Term comprise the list List.

• arg(ArgNo,Term,Arg) The ArgNoth argument of the term Term is Arg.

• setarg(ArgNo,CompoundTerm,NewArg) Replaces destructively the ArgNoth argument of CompoundTerm with NewArg and undoes it on backtracking.

• functor(Term,Name,Arity) The principal functor of the term Term has the name Name and arity Arity.

• copy_term(Term,CopyOfTerm) CopyOfTerm is an independent copy of Term.

• name(Const,CharList) The name of atom or number Const is the string CharList.