A term in Prolog.
However, variables cannot be heads.
For example, the syntax of a fact is as follows:
while the syntax of a rule is as follows:
head :- body.
That a head can be any term (except a variable) means, for example, that the following is a valid fact:
"It is raining".
So is the following:
And the following is also a valid fact: