如何在 CLIPS 中格式化字符串?

How to format a string in CLIPS?

我需要格式化一个字符串,但即使我复制了看似正确的代码,CLIPS 解释器也会向我发出错误信号。

(格式为零 "Integer: |% ld|" 12)

“我期待 "Integer: |12|" 的输出,但 CLIPS 解释器向我发出错误信号。

% 字符和格式标志之间不应有 space。此外,字符 'l' 不是有效的格式标志。

CLIPS> (format nil "Integer: |%d|" 12)
"Integer: |12|"
CLIPS>