d(1). d(2). d(3). d(4). d(5). d(6). d(7). d(8). d(9). :-d(A),d(B),C is A*B,\+writef('%d * %d =%3r',[A,B,C]).