Term creation and decomposition
arg/3
copy_term/2
functor/3
=../2
Darueber
read on...