maketable :-
	between(0,9,X),
	between(0,9,Y),
	Z is X * Y,
	assert(product(X,Y,Z)),
	fail.

maketable.