Prolog (SWI): строка интерполяция

Question

Есть ли предикат, доступный через библиотеку SWI-Prolog, который предоставляет механизм для интерполяции в строки?

Что я имею в виду, будет работать следующим образом:

string(hello, %s, David) 

Однако, я не уверен, что если конкатенации делает нужную функциональность ненужным.

write("hello",string(david)). % possibly inaccurate 

Answer 1

Похоже, что я нашел ответ в документации, но я оставлю свой вопрос для других. SWI's formatted write предоставляет необходимую мне функциональность.

?- swritef(S, '%15L%w', ['Hello', 'World']). 
S = "Hello   World" 

Пожалуйста, не стесняйтесь прокомментировать, возможен ли более эффективный подход или если я не обращу внимания на детали реализации.