title: variable = term compound prolog
body: <p>Is it possible in prolog to do an assignment like Variable = TermCompound? </p>
  
  <p>For example: X = token (a, b, c).</p>
  
  <p>And, if you can do it, from X is it possible to derive the arguments and the functor of the compound term?</p>