C関数をつける

C関数の記述

C関数は、その名前，引数，返り値によって記述されます。これらを前置演算子として定義されているIF/Prologの述語 c を使って以下のように記述します。...

インクルード・ファイルの追加

特別なファイル（たとえばC関数を含んだライブラリ−）を取り込むためには、以下のように、記述ファイルの中でそれを指定しなければなりません。...

IF/PrologとC関数とのリンク

新しい述語は、それぞれCインタフェ−スのCboot()関数に含まれるCPRIM()の呼び出しによってC関数に接続されます。cgenプログラムは、自動的に完全なCboot()関数を生成します。その名前を変えるために（Cboot()関数が複数個になるのを避けるために）、記述ファイルに以下のようなステ−トメントを加えます。...