Пожалуйста, отредактируйте свой вопрос, указав полную программу, которую мы можем запустить, и результат, который вы получите, и результат, который вы хотели бы получить.
Мне кажется, это работает в SWI-Prolog 7.6.4:
?- write('10 3'), nl, write(' 10 3 '), write('7'), nl.
10 3
10 3 7
true.