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.
関数名
IFARG
IFUNIFY
IFUNIFYARG
概要
FUNCTION IFARG(N)
INTEGER N
FUNCTION IFUNIFY(TERM1, TERM2)
TERM TERM1, TERM2
FUNCTION IFUNIFYARG(N, TERM)
INTEGER N
TERM TERM
説明
IFARGは、ゴールの第N番目の引数を表すIF/PrologのTERMを返します。第N番目の引数がない場合はアボートします。
IFUNIFYは、2つのIF/Prologの項TERM1とTERM2を単一化します。
IFUNIFYARGは、呼び出し元のIF/Prologの述語に情報を渡すために使われます。FORTRANプログラムで生成されたIF/Prologの項TERMとゴールの第N番目の引数を単一化します。単一化が成功すると1が返されます。第N番目の引数がなかったり、単一化が失敗すると、0が返されます。
例
IFUNIFYARG(N,T)
は
IFUNIFY(IFARG(N),T)
と同じです。
| 
