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.
以下に示す手続きに従って、例題プログラムprintit.cを見てみましょう。以下のように打って、新しい"作業用"コピ−を作り、ファイルnewpreds.cで６つのステップを実行させましょう。
cp printit.c newpreds.c
＜C関数をIF/PrologのC述語に変換する６つのステップ＞
１：Cル−チンからmain()を取り除く
２：第一行に#include "cpred.h"というステ−トメントを加える
３：C関数をProlog述語とリンクする（CPRIM()）
４：C関数がPrologのパラメ−タを受けとったり、返すようにする
５：C関数がPrologにおいて成功か失敗かを確実に返すようにする
６：あなたの述語をコンパイルし、それらをIF/Prologにリンクする
図Ｃ-４
ステツプ１： IF/Prologがすでにmain()関数を持っているので、これをあなたのスタンドアロ−ンプログラムから取り除き、たとえば、Print_predicate()のように関数の名前を変えなければなりません。
ステップ２： ファイルnewpreds.cの第一行に次のステ−トメントを加えます。# include "cpred.h"（cpred.hの一覧表は、Cインタフェ−スマニュアルの付録に載せてあります）
ステップ３： ファイルに以下の記述を加えます。
int Cboot()
{ CPRIM("PROLOG_FUNCTOR",ARITY,C_FUNCTION);
. . .
・ ・ ・
}
Prolog述語にリンクしたいと思うC関数のひとつひとつに対して、Cboot()の中にあるCPRIM()が必要です。これらの記述が新しいPrologの組み込み述語の名前、関数子、引数の数を設定します。ファイルnewpreds.cの中では、以下のように記述されていなければなりません。
int Cboot()
{ CPRIM("print_it",2, Print_predicate);
}
注意:CPRIM()やCPRED()（バックトラッキングの頁を参照）は、実際には整数型C関数を宣言し、Cprim()やCpred()を呼び出すcpred.h（付録を参照）においてマクロ定義されています。
ステップ４： Arg(N)は、述語の第Ｎ番目のパラメ−タを返します。型チェックやC変数への変換を扱う様々なC関数があります。IF/PrologのC関数、Unify()やUnifyArg()は、Cル−チンとProlog述語の間で引数を引き渡します。Print_predicate()では、C整数であるstring_lengthはPrologの第２引数と単一化されます。IntCP()は、整数をCの表現形式からPrologの表現形式に変換します。
UnifyArg( 2, IntCP((INT) string_length) );
ステップ５： Prolog述語が成功したり失敗するためには、C関数が返り値を持たなければなりません。１が返された場合は、述語が成功したことを示し、０が返された場合は、失敗か例外と見なされたことを示しています。この例の場合、返り値は以下の結果が結合されたものとなっています。
- C関数XChk()は、第１引数が正しい型でない場合には、例外を返します（IsAt()が引数がアトムかどうかを調べます）。XChk()は、この方法により戻りステ−トメントを返します。これは例外の型をチェックするのに便利です。
- Print_it()は、１を返します。AtStr()は、PrologのアトムをCの文字列に変換します。
- UnifyArg()によって、計算された文字列の長さと述語の第２引数の単一化が試みられます。
この段階であなたのプログラムは、以下のようになっていると思います。
/*------------------------------------------------------*/
/* filename : $PROROOT/demos/c/newpreds.c */
/*------------------------------------------------------*/
#include "cpred.h"
int Cboot()
{
CPRIM("print_it", 2, Print_predicate);
} /*----------------------------------------------------*/
int Print_predicate();
/*Prolog goal:print_it(Text,Length).*/
Term Text = Arg(1);
int string_length;
return XChk(IsAt(Text), "atom_expected")
&& Printit(AtStr(Text), &string_length)
&& UnifyArg(2, IntCP((INT) string_length));
} /*----------------------------------------------------*/
Printit(text, length) /*simple output routine */
char *text;
int *length;
{
printf("text = %S\n", text);
*length= strlen(text);
return 1; /*success of a Prolog routine */
} /*----------------------------------------------------*/
ステップ６： 以下のように打って、newpreds.cをコンパイルし、IF/Prologにリンクします。
% ifcc newpreds.c
% iflink newprolog newpreds.o
以下のように打って、IF/Prologの新しいバ−ジョンと新しい述語を試してみましょう。
% newprolog
IF/Prolog Version 3.4.0 created 8/8/88
Copyright (C) 1984,88 InterFace Computer GmbH
?- print_it(test_string,Length).
text = test_string
Length = 11
yes
?- _
| 
