write_canonical/1/2

演算子定義を無視して、ストリームに項を書く。

write_canonical(+項)
write_canonical(+ストリーム, +項)

write_canonical/1 は、現在出力ストリームに単項 (項) を書く。
write_canonical/2 は、あたえられたストリーム(ストリーム) に単項(項)を書く。

write_canonical/1/2 は、アトム または 関数子の名前を引用し、演算子定義を無視する。 その述語は、オプションリスト [quoted(true),numbervars(false),ignore_ops(true)]を持ったwrite_termと一致する。

引数 

ストリーム           テキスト出力ストリーム
項                   項

例

?- write_canonical(a+b*c).
+(a,*(b,c))

標準

これらの述語は、ISO-Prolog 標準にふくまれる。

関連

current_op/3, op/3, print/1/2, println/1/2, read/1/2, read_term/2/3, write/1/2, write_term/2/3, writeq/2.

戻る 続く..