% From The Art of Eyepl, Chapter 9.
functor(Term, Name, Arity).
arg(Index, Term, Value).
(Term =.. [Name | Arguments]).