Prolog (SWI):字符串插值
Prolog (SWI): string interpolation
是否有可通过 SWI-Prolog 库使用的谓词,它提供了一种插入字符串的机制?
我的想法如下:
string(hello, %s, David)
但是,我不确定串联是否会使所需的功能变得不必要。
write("hello",string(david)). % possibly inaccurate
看起来我在文档中找到了答案,但我会把我的问题留给其他人。
SWI's formatted write 提供了我需要的功能。
?- swritef(S, '%15L%w', ['Hello', 'World']).
S = "Hello World"
如果有更好的方法或者我忽略了实施细节,请随时发表评论。
是否有可通过 SWI-Prolog 库使用的谓词,它提供了一种插入字符串的机制?
我的想法如下:
string(hello, %s, David)
但是,我不确定串联是否会使所需的功能变得不必要。
write("hello",string(david)). % possibly inaccurate
看起来我在文档中找到了答案,但我会把我的问题留给其他人。 SWI's formatted write 提供了我需要的功能。
?- swritef(S, '%15L%w', ['Hello', 'World']).
S = "Hello World"
如果有更好的方法或者我忽略了实施细节,请随时发表评论。