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.
decompcons(+文字列_表現,-文字リスト)
「文字列_表現」が、文字のリストに分解され、結果が「文字リスト」と単一化されます。
?- decompcons(testatom,List).
List = [t,e,s,t,a,t,o,m].
yes
?- decompcons(文字列,List).
List = [文,字,列].
yes
?- _
atom_expected 「文字列_式」がアトムではない。
|
