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