|
|
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.
関数名 Unify UnifyArg 概要 #include "cpred.h"
int Unify(TERM1,TERM2) TERM TERM1, TERM2;
int UnifyArg(N,T) int N; TERM T;
Unifyは、２つのTERMを単一化します。単一化が成功すると１が返され、失敗すると０が返されます。
UnifyArgは、呼び出したIF/Prologの述語に情報を渡すために使われます。Cプログラムで生成されたTERMと呼び出された述語の第Ｎ番目の引数を単一化します。単一化が成功すると１の値が返されます。第Ｎ番目の引数がなかったり、単一化が失敗すると、０の値が返されます。
注意：UnifyArg(N,T)とUnify(Arg(N),T)は、同じだということに注意して下さい。第１番目の引数は、Ｎ＝１です。（０ではありません）
| document: http://www.ifcomputer.co.jp/IFProlog/Manuals/v4.1/advanced_feature/c_interface/libfunc/summ/unifun/print_en.html published 2008/10/13 update 1994/7/28 (c) 1996-2006 IF Computer Japan | ||||||||
|
