第一の枠組として「azprolog.h」というヘッダファイルのインクルードがあります。
ユーザが定義するヘッダファイル以外に、次の1行を必ず追加してください。

#include <azprolog.h>

このヘッダファイルには、Prologとリンクするための情報が書かれています。

まず、次のC言語ソースプログラムの例を見てください。
ファイル名“cpro.c”

#include <azprolog.h>
pred P2_cprogram(Env)　組込述語 cprogram/2 となる関数の定義
Frame *Env;
{ 
  ： 
  処理コード(述語の処理を関数内に記述) 
  ： 
}

： 同様に他の述語を関数で定義

int initiate_cpro(Frame *Env)    /* 初期化関数 */
{
  put_bltn("cprogram",2,P2_cprogram); 
  ： 定義された各述語について、put_bltn(..)を同様に記述。
  ：
 その他の初期化コード
  ：
  return 1;
}

この中でinitiate_cpro(Frame *Env) という関数が、モジュールファイル初期化関数と呼ばれるものです。これはリンクするモジュール(Cソースファイル)に含まれる組込述語を、システムに登録するための関数です。
モジュールファイル初期化関数の関数名は「initiate_ファイル名」としてください。つまり、個々のCソースファイル毎に初期化関数は必要になる訳です。この関数内には、そのファイルで定義されたCリンク組込述語の登録情報の記述及び、必要な初期化コードを入れておきます。

個々のCリンク組込述語登録の記述：
put_bltn(“組込述語名”,アリティ,関数名);

組込述語名と関数名は、必ず次の対応をとるようにします。 ｛｝部分は実際の数字/名前に置き換えます。

関数名：
P{アリティ}_{組込述語名}

冒頭の例ではCリンク組込述語「 cprogram/2 」を追加するので

P2_cprogram()

となっています。

この枠組は、他のモジュール、特にコンパイルコードで、該当する関数を決定するためのものですから、必ず守るようにしてください。また、この関数が実行される前に該当の関数を定義しておきます。

azpcで実行プログラムを生成すると、リンク用のファイル「userfile.c」が作られます。
このファイルの内容は次の様なものです。
ファイル名 “userfile.c”

void user_file()
{
   initiate_{ファイル名１}(NULLFRAME);
   initiate_{ファイル名２}(NULLFRAME);
   ：
}

関数「user_file()」の本体には、リンクした全てのユーザ定義ファイルの初期化関数の呼び出しが列挙されています。プログラムを実行すると、ワークエリアの初期化等の後でこの関数が呼ばれます。この時、各ファイルの初期化関数が順に呼び出されて、実行プログラムに述語の組込登録をする仕組になっています。

組込述語を定義する関数の名前は前述の関数名のルールに従います。
関数は「Frame *」型の引数を一つだけとり、「pred」型の値を返します。
「Frame」「pred」 はいずれも「azprolog.h」で定義されたtypedef名です。
以下では次の二つの場合に分けて関数の記述方法を説明します。

(A)単純な決定性組込述語をC言語で直接記述する場合
(B)コンパイラが出力したCプログラムをテンプレートとして利用する場合

なお、以下で使用されるシステム定義の関数の詳細は、次節の関数リファレンスを参照してください。

(A)単純な決定性組込述語をC言語で直接記述する

実際にC言語インターフェースで記述する述語のほとんどはこのタイプに属するものとなります。
簡単なプログラム(内容自体はあまり意味が無い)を例に説明します。

次のような計算を実行する述語を作ります。

num_crunch(X,Y):-Y is 1/(1+exp(-X)).

同じことをAZ-PrologのC言語インターフェースを使って記述すると、次のようになります。
システム関数(GetDouble等)でエラーが発生する可能性がありますが、事前の引数の型チェックやエラー処理はここでは簡単のため省略しています。

pred P2_num_crunch(Env)          ････････････････①
Frame *Env;
{
   double    x,y;
   x=GetDouble(next_var_cell-2);       ･･････････②
   y=1.0/(1.0+exp(-x));
   if(UnifyDouble(Env,next_var_cell-1,y))  ･･････③
       YIELD(DET_SUCC);             ･････････････④
   else
       YIELD(FAIL);
}

①～④が Prolog とのインターフェース部分です。以下の表で説明します。

next_var_cell - n 　　→ arg1
next_var_cell - n + 1  → arg2
：
：
next_var_cell - 1     → argn

 YIELD(UnifyDouble(Env, next_var_cell - 1, y));

(B)テンプレート出力の利用

C言語による操作を行いたい部分にスタブ宣言をした述語を含めてProlog述語を作ります。

:-extern c:stub/3.
f00(X):- ･･････, stub(X,A,B), ･･･.

このファイルをAZ-PrologコンパイラでコンパイルしてC言語ファイルを出力させます（/nccオプションを指定）。出力プログラムはおおよそ次のようになります。

extern pred P1_foo();
extern int stub();
：
：
pred P1_foo(Env)
register Frame *Env;
{
  Frame Now;
  Now.Link = Env;
  LINK(Env, -, -);
  ：
  ：
  if( !stub(&Now,Env->Local-1,Env->Global,Env->Global+1) ) YIELD(FAIL);
  ：
  ：
}

関数stubはint型のpublicな関数として宣言され、これを呼び出す1行(if文)が関数P1_fooの中に追加されていますが、関数の雛型は生成されません。Prologソースの中でのstub述語(テンプレートを出力するためのあくまで仮の述語)の呼び出し形式(上記の例では、変数Xの値を入力として受取り、変数AとBが出力として返す)が、生成されたstub関数呼び出し形式に反映されます。
ここで関数stubの内容を作成し(あるいは関数 stub の呼出しを直接置き換えて)再びコンパイル(今回はリンクまで。リンクバッチmkazを使用)します。この例では、スタブ関数の呼出しは第1引数に環境フレーム、第2引数以降にもとのProlog呼出しでの引数の並びに対応するTERM *型のデータが渡されています。
引数に「Frame* Env」を取るシステム関数(8-2-4.関数リファレンス参照)には、この第1引数の値を渡します。スタブ関数の戻り値は整数で1が返された時は成功、0の時は失敗として扱われます。

付表：記号組込述語の内部関数名
述語のアリティは全て2。内部関数はFrame *Envと２つのTERM *型の引数を取ります。

他言語からAZ-Prologを利用するインターフェース関数を解説します。何れの関数も、正常終了の時は１を、エラー終了の時は0を返します。

(1) AZ-Prologの初期化

AZ-Prologの利用のため、領域を確保して初期化します。領域指定する引数は-h/-l/-g/-aの各サイズです。直接指定しない場合のワークエリアサイズの決定ルールは、Prologインタプリタ等のPrologアプリケーションの場合と同じです（3-3-7参照）。

int az_init(int argc, char* argv[])

(2) AZ-Prologの終了

AZ-Prologの使用を停止し、領域を開放します。
int az_end(void)

(3) Prologゴール実行 (結果取得が不要な場合）

Prologゴールを実行します。実行後のバックトラックはできません。

int az_exec(char *goal)

char *goal: Prologのゴールを文字列で与えます。

(4) Prologゴール実行,結果取得

Prologゴールを実行し、ゴールに含まれる変数の値を文字列で取得します。
結果取得後のバックトラックはできません。

int az_exec_unify(char *goal,int n, ... )

< 例 >
char retA[256],retB[256],retC[256];
az_exec_unify("my_goal(1,A,B,A,C)",3,retA,retB,retC);

C++プログラム例

C++プログラムからprologのゴール append([1,2,3],[4,5],L)をAZ-Prologを利用して実行し、結果を取得して表示する例です。

/*  callaz.cpp  */

#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>


extern "C" { extern int az_init(int argc,char **argv); }
extern "C" { extern int az_end(void); }
extern "C" { extern int az_exec_unify(char *args, int n,... ); }

int main(int argc, char **argv){
	int argcp    = 3;
	char *argvp[]= {(char *)"my_prolog",(char *)"-h",(char *)"100"};
	char goal[]  = "append([1,2,3],[4,5],L)";
	char retVar[256];

	if(az_init(argcp,argvp)){
		printf("AZ-Init OK¥n");
	} else {
		printf("AZ-Init error!¥n"); exit(1);
	}

	if(az_exec_unify((char *)goal,1,retVar)){
		printf("ret = %s¥n",retVar);
	} else {
		printf("exec Fail!¥n");
	}

	if(az_end()) {
		printf("AZ-End OK¥n");
	} else {
		printf("AZ-End error!¥n");
	}
}

コンパイル・リンク

[Windows版]

c:¥test>cl callaz.cpp /link  "<INST_DIR>¥lib¥azp.lib"

はAZ-Prologをインストールした場所です。Windows 64bit版をデフォルトでインストールした場合は、C:¥Program Files¥AZ-Prolog.9.24となります。
注意：Microsoft Visual Studio 2010では、リンク時以下のエラーが発生します。
「error LNK2019: 未解決の外部シンボル __report_rangecheckfailure が関数 _Read_GetTokenで参照されました。」
Visual Studio 2010には対応していませんので、Visual Studio 2012以降のバージョンでコンパイル・リンクして下さい。

[Linux版またはMac版]

$ g++ -Wall -o callaz callaz.cpp  -lazp -lm -ldl

実行と結果表示

$ ./callaz
AZ-Init OK
ret = [1,2,3,4,5] 
AZ-End OK