| 演算子定義を無視して、ストリームに項を書く。
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.
|
