|
|
|||||||||
与えられたオプションリストで定義された形式でストリームに項を書く。
write_term (+項, +オプションリスト)
write_term (+ストリーム, +項, +オプションリスト)
write_term/1 は、 オプションリストで定義された形式で現在出力ストリームに単項 (項) を書く。
write/2 は、オプションリストで与えられた形式で、与えられたストリーム(ストリーム)に単項 (項)を書く。
引数
| ストリーム | テキスト出力ストリーム |
| 項 | 項 |
| オプションリスト | 項 (quoted(+Bool), ignore_ops(+Bool), numbervars(+Bool), variable_names(+VarList)). |
例
?- write_term(hello / World + '$VAR'(2), []). hello / _1 + $VAR(2)?- write_term(hello / World + '$VAR'(2), [quoted(true)]). hello / _1 + $VAR(2)
?- write_term(hello / World + '$VAR'(2), [ignore_ops(true)]). +(/(hello,_1),$VAR(2))
?- write_term(hello / World + '$VAR'(2), [numbervars(true)]). hello / _1 + C
?- write_term(hello / World + '$VAR'(2), [variable_names(['Eric' = World])]). hello / Eric + $VAR(2)
標準
これらの述語は、ISO-Prolog標準に含まれる。
関連
current_op/3, op/3, print/1/2, println/1/2, read/1/2, read_term/2/3, write/1/2, write_canonical/1/2, writeq/2.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_io/write_term/print_jp.html published 2012/5/21 update 1997/6/22 (c) 1996-2009 IF Computer Japan | ||||||||
|
