Who needs types if we have terms?



Or, in other words, is a term a data type?. They are usually used like
data types?
Because I've read a lot of post about prolog typed/untyped, but I'm
wondering me if the only diference is in type (term) checking.

.