MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
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 「文字コ−ドリスト」が文字コ−ドのリストでない
|
