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.
C関数をPrologの述語に接続する関数
Cboot();
CPRIM(PROLOG_FUNCTOR,ARITY,C_FUNCTION);
CPRED(PROLOG_FUNCTOR,ARITY,C_FUNCTION,SIZE);
エラ−チェックのための関数
XChk(TEST,EXCEPTION_MESSAGE);
単一化関数
Unify(TERM1,TERM2);
UnifyArg(ARG_NUMBER,TERM);
変数を扱う関数
IsVar(TERM);
MkVariable();
アトムを扱う関数
IsAt(TERM);
IsString(TERM,STRING_POINTER);
StrAt(STRING);
AtStr(TERM);
整数を扱う関数
IsInt(TERM);
IsInteger(TERM_EXPRESSION,VALUE);
IntCP(ARGUMENT);
IntPC(TERM);
倍精度実数を扱う関数
IsDbl(TERM);
IsDouble(TERM_EXPRESSION,VALUE);
DblCP(DOUBLE);
DblPC(TERM);
リストを扱う関数
IsList(LIST,HEAD,TAIL);
IsNil(TERM);
MkList(HEAD,TAIL,TAIL_POINTER);
Nil();
複合項を構築、および扱う関数
Arg(NUMBER);
WhichTerm(TERM,INFO);
MkStructure(FUNCTOR,N,ARG1,・・・,ARGN);
MkeStructure(FUNCTOR,ARITY,ARG_POINTER);
MkvStructure(FUNCTOR,ARITY,ARG_POINTER);
|
