-1
SWI-Prologライブラリで使用できる述語は、文字列に補間するメカニズムを提供していますか?次のようにProlog(SWI):文字列補間
私は何を考えていると、動作します:
string(hello, %s, David)
を連結が目的の機能が不要になる場合しかし、私はわかりません。
write("hello",string(david)). % possibly inaccurate
SWI-Prologライブラリで使用できる述語は、文字列に補間するメカニズムを提供していますか?次のようにProlog(SWI):文字列補間
私は何を考えていると、動作します:
string(hello, %s, David)
を連結が目的の機能が不要になる場合しかし、私はわかりません。
write("hello",string(david)). % possibly inaccurate
私はドキュメントの回答を見つけたようですが、私は他の人に質問を残します。 SWI's formatted writeは必要な機能を提供します。
?- swritef(S, '%15L%w', ['Hello', 'World']).
S = "Hello World"
より良いアプローチが可能か、実装の詳細を見落とした場合は、お気軽にコメントしてください。
リンク先のドキュメントには、述語の 'writef'ファミリは**非推奨**です。代わりに 'format/2'と' format/3'を使用してください! – mat
@matそれを見落とし、ありがとう! –