| println/1/2 は、項のリストを出力し、最後に改行する。
println (+リスト)
println (+ストリーム, +項)
println/1は、現在出力ストリームにリストの全要素を、以下の形で出力する。(関連 current_output/1)
- ソートされた "quoted(項)" の要素は、'writeq(項)'で書かれる。
- 他の全ての要素は、'write(要素)'で書かれる。
リストの出力のあとで、改行される。
println/2は、ストリームにリストの全要素を、以下の形で出力する。
- ソートされた "quoted(項)" の要素は、'writeq(ストリーム,項)'で書かれる。
- 他の全ての要素は、'write(ストリーム, 要素)'で書かれる。
出力は、改行でおわる。
引数
ストリーム テキスト出力ストリーム
リスト 項のリスト
例
?- sort("hello world", List), println(['sorted list: ', quoted(List)]).
sorted list: [' ',d,e,h,l,o,r,w]
標準
これらの述語は、ISO-Prolog 標準には含まれない。
関連
current_op/3,
op/3,
println/1/2,
read/1/2,
read_term/2/3,
write/1/2,
write_canonical/1/2,
write_term/2/3,
writeq/2.
|
