module inc.

  inc N M :- M is N + 1.