go :-
  multiply(5, 2, P),
  format("The product is ~d.~n", [P]).