name(+アトム,-文字コードリスト) name(-アトム,+文字コードリスト)
「アトム」がアトムの場合は、アトムを構成する文字のコ−ドのリストが返されます。
「アトム」が値を持たない場合は、「文字コ−ドリスト」は文字コ−ドのリストでなければならず、アトムが文字コ−ドのリストから作られ、「アトム」に返されます。
?- name(abc,L).
L = [97,98,99]
yes ?- name(X,[105,110,116,101,114,102,97,99,101]).
X = interface
yes ?- name(X,"IF/Prolog").
X = 'IF/Prolog'
yes ?-
atom_expected 「アトム」がアトムでない list_expected 「文字コ−ドリスト」が文字コ−ドのリストでない
| scroll to top |
|