MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
symbol(+シンボル,-モジュール,-名前)
symbol(-シンボル,+モジュール,+名前)
symbol(-シンボル,+モジュール)
symbol/3は、IF/Prologのアトムをモジュ−ル名とアトム名に分割します。またsymbol/3は、モジュ−ルに対してロ−カルな名前を生成するのに使用します。
?- symbol(m1:abc, M, N).
M = m1
N = abc
yes
?- symbol(S, m1, abc).
S = m1:abc
yes
?- symbol(S, common, abc).
S = abc
yes
symbol/2は、「モジュ−ル」に対してロ−カルな新しいアトムを生成します。このアトムは、全IF/Prologシステム中で特定のものとなり、外部表現をもちません。
?- symbol(S, m1).
S = m1:'*554*'
yes
?- symbol(S1, ml), symbol(S1,M,N), symbol(S2,M,N), S1 \= S2.
S1 = m1:'*557*'
M = m1
N = '*558*'
S2 = m1:'*559*'
yes
最後の例は、外部表現をもたないシンボルの場合には、同一のものが2度生成されることがないということを表わしています。
atom_expected 「シンボル」あるいは「モジュール」は、アトムでなければならない
|
