・コンパイラに、ディレクトリ$PROROOT/cの中のライブラリ−ファイルとcpred.hを指定しましたか？
・機種によってCコンパイラは異なります。オプションの省略形も違ってきます。
・新しく定義した述語を使って、"undefined_predicateが出たら、Cboot関数の中に何か誤りがあります。Cの関数とCPRIM/CPREDの引数に同じ名前を使っていないかチェックして下さい。特に大文字と小文字をチェックして下さい。
・新しい述語を含んだファイルには、Cboot関数は１つだけですか？
・もし複数の述語を使っているならば、Cboot関数の中に、その述語それぞれに対してCPRIMまたはCPREDがありますか？
・すでに使われている名前を述語に使っていませんか？
・コンピュ−タが PCS Cadmus ならば、fFコンパイルオプションを使っていますか？ （２バイト/４バイト整数）
・ライブラリ−関数AtStrを使いましたか？もし使っていれば、IF/Prologが実際に使う項目を使っているということを忘れてはなりません。それをそのままにしておくことは、あなたのプログラムの責任です。たとえば、C言語でのストリングの表現形式は、Pascalの表現形式に変えることがあるかもしれません。しかし、その項目のコピ−に対して操作をするか、または用がすんだら変換したものを元に戻さなければなりません。
・Prologで整数を返してもらいたい時に、期待していたよりはるかに大きな値を受け取った時には、おそらくIntCPを呼ぶ前にINTによってintをlongにキャストしなかったためです。