項を文字列に書きます。
write_atom/2は、一つのアトム(Term)を文字列に書いて、その文字列をアトムに変換して、Atomでそれを単一化します。 write_atom/2は、アトムまたは関数子名を括弧で囲みません。
Term 項 Atom アトム
write_atom(hello('World'), T). -> T = 'hello(World)'
この述語は、ISO-Prolog 標準の要件ではありません。
戻る 続く..