2016-09-02 10 views
-1

SWI-Prologライブラリで使用できる述語は、文字列に補間するメカニズムを提供していますか?次のようにProlog(SWI):文字列補間

私は何を考えていると、動作します:

string(hello, %s, David) 

を連結が目的の機能が不要になる場合しかし、私はわかりません。

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

答えて

0

私はドキュメントの回答を見つけたようですが、私は他の人に質問を残します。 SWI's formatted writeは必要な機能を提供します。

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

より良いアプローチが可能か、実装の詳細を見落とした場合は、お気軽にコメントしてください。

+2

リンク先のドキュメントには、述語の 'writef'ファミリは**非推奨**です。代わりに 'format/2'と' format/3'を使用してください! – mat

+0

@matそれを見落とし、ありがとう! –