Rules as Terms

Consider:

 
happy(X):-

		       rich(X).
 [-5pt]

If this is a term then it is a compound term. Again, what is its principal functor and its arity?

• 1
• 2
• 3