アトムと1文字アトムのリストの関係を定義する。
もし、アトム が アトムならば、atom_chars/2 アトムを1文字アトムのリストにする。
もし、アトム が変数ならば、リスト は、1文字アトムのリストでなければならない。atom_chars/2は、文字のリストを連結してアトム アトムを生成する。
アトム アトム リスト 文字リスト (長さ1のアトムからなるリスト)
| atom_chars(abcde, L). | L <- [a,b,c,d,e]. の代入で、成功。 |
| atom_chars(A, [l,i,s,t]). | A <- list の代入で、成功。 |
| atom_chars(list, [l,I,s,T]). | I <- i, T<- t の代入で、成功。 |
この述語は、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.
| 冒頭へ |
|