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);