%% ?- phrase(42, []).