関数名

CBOOT IFCPRIM

概要

FUNCTION CBOOT

FUNCTION IFCPRIM(PROLOG_FUNCTOR, ARITY, FUNCT_REF) CHARACTER*(*) PROLOG_FUNCTOR INTEGER ARITY INTEGER FUNCT_REF

説明

CBOOTは、立ち上げの時にIF/Prologによって呼び出されます。標準のIF/Prologには、この名前のダミ−関数があります。ですから新しいバ−ジョンのPrologをリンクする時には、ダミ−関数ではなくCBOOTがリンクされるように、プログラムの中に必ずCBOOTがなければなりません。CBOOTは、すべての必要なIFCPRIMコ−ルを含まなければなりません。つまり新しいFORTRAN述語がある場合、その数と同じだけIFCPRIMが呼び出されなければなりません。

IFCPRIMは、FORTRANで書かれた簡単な述語をPrologの名前にリンクします。第1引数は、Prolog関数子を定義するFORTRANの文字列であり、第2引数はアリティであり、第3引数はFORTRAN関数へのポインタです。もし実引数として関数名が渡されれば、リンカーはその関数のコードを自動的に参照します。

IFCPRIM関数はバックトラックしない述語のために使います。