Prolog中与C库函数sprintf等效的内置谓词是什么？

C语言sprintf的核心逻辑是不把格式化文本输出到控制台、文件这类IO流，而是把拼接完成的格式化内容直接存入字符串缓冲区返回。在SWI-Prolog、GNU Prolog等绝大多数主流Prolog实现中，和这个功能完全等效的是format/3谓词的结果绑定用法：

• 你提到的format/2就是Cprintf的等效内置谓词：调用format(格式串, 参数列表)时，格式化后的内容会直接输出到当前活动输出流，行为和printf完全对齐。
• format/3的常规流调用模式对应C的fprintf：第一个参数传入已打开的IO流句柄时，格式化结果会直接写入指定流。
• 当format/3的第一个参数传入string(接收结果的变量)或者atom(接收结果的变量)（SWI-Prolog里第一个参数直接传未实例化的变量时，默认会返回字符串类型结果），格式化的内容不会输出到任何IO流，会直接绑定到你传入的结果变量上，和sprintf的行为完全一致。

举个实际用例，对应C代码sprintf(buf, "用户%s的得分是%d", "张三", 95)，Prolog里的写法是：

?- format(string(Result), "用户~w的得分是~d", ["张三", 95]).
Result = "用户张三的得分是95".

少数年代比较早的Prolog方言会提供sformat/2、format_to_atom/3这类专属谓词实现同样的功能，但目前跨实现兼容的通用方案就是上面说的format/3变量绑定用法。

小提示：不同Prolog实现对返回结果的默认类型（原子/字符串）配置可能有区别，显式写string(Var)或者atom(Var)作为第一个参数，可以明确指定返回值类型，避免不同环境下的兼容问题。

内容的提问来源于stack exchange，提问作者WhiteMist