Unification and Internal Structure

arg		Unify the Nth argument of the term
clause		Retrieves the clause from the Prolog internal database.
functor		Terms structurisation
integer		Check the type of a Term
bound		Check the type of a Term
free		Check the type of a Term
op		Declares the functional operator.