atom_chars/2

アトムと1文字アトムのリストの関係を定義する。

atom_chars(-アトム, +リスト)
atom_chars(+アトム, ?リスト)

もし、アトム が アトムならば、atom_chars/2 アトムを1文字アトムのリストにする。
もし、アトム が変数ならば、リスト は、1文字アトムのリストでなければならない。atom_chars/2は、文字のリストを連結してアトム アトムを生成する。

引数

アトム             アトム
リスト             文字リスト (長さ1のアトムからなるリスト)

例

標準

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

関連

atom_codes/2, atom_concat/3, atom_length/2, atom_number/2, char_code/2, number_chars/2, number_codes/2, parse_atom/2/3, sub_atom/5.