main :-	read_num(A),
        read_num(B),
        C is A * B,
        write(C),
        nl.


read_str(S) :-
        read_string(current_input, ' \n', '', _, S).
read_num(N) :-
        read_str(S),
        number_string(N, S).

:- main.