On a very high level, Prolog only has a single data type, called term. In Prolog, all data is represented by Prolog terms. Terms are defined inductively:
'quotes and space'.
T_nare terms, then F(
T_n) is also a term, where F is called the functor of the compound term.