test_multiply :-
  multiply(5, 2, 10),  % this will pass
  multiply(3, 4, 11).  % this will not pass