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