|
|
|||||||||
アトムと1文字アトムのリストの関係を定義する。
atom_chars(-アトム, +リスト)
atom_chars(+アトム, ?リスト)
もし、アトム が アトムならば、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.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/atomic_term/atom_chars/print_jp.html published 2008/11/17 update 1998/8/11 (c) 1996-2006 IF Computer Japan | ||||||||
|
