RE: arithmetic functions? (rank beginner)

> What obvious fact am I missing?

Since Prolog is a significantly different language from almost everything out 
there, you
should find a good tutorial.  Perhaps Bartak's
http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html or Amzi's will do for you.*