CPREDは、STATE複合項のサイズを引数として呼び出されます。IF/Prologが初めてC述語のル−チンを呼び出す時（実体を作る時）、このサイズの変数を生成し、その実体が存在する間は保持し続けます。IF/Prologでは、最初にプログラムポインタ＝０で関数を呼び出します。各活性化の間（RESUMEs）、直前の返り値が次のプログラムポインタとして記憶されます。もしそれ以上他の解が見つからないと、次のプログラムポインタとして０が返されます。もしepilog（後処理指令）がある場合、IF/Prologは、epilogを実行するためにプログラムポインタ＝−１でそのル−チンを再度呼び出します。以下にその概要を示します。

ＣＡＬＬ-create & start： IF/Prologでは、コル−チンのプログラムポインタとSTATEのためにメモリ空間を割り当てます。またプログラムポインタを０に設定し、プログラムポインタとSTATEポインタを引数として関数を呼び出します。この段階でC述語の実体が活性化されます。

ＥＸＩＴ-detach： 関数は新しいプログラムポインタとなる正の値を返します。プログラムポインタとSTATEは、次の活性化に使うために破壊されずに保持されます。

ＲＥＤＯ-すでに存在しているコル−チンの再実行： IF/Prologでは、前の活性化で返されたプログラムポインタとSTATEポインタを引数として関数を呼び出します。

ＦＡＩＬ-detach & destroy-内部破壊： 関数は０を返します。そしてプログラムポインタを−１とし、そのプログラムポインタとSTATEポインタを引数として再び関数を呼び出します。

！（カット）またはアボ−ト−外部破壊： プログラムポインタを−１にし、そのプログラムポインタとSTATEポインタを引数として関数を呼び出します。その後、プログラムポインタとSTATEに使われていた領域は開放されます。

コル−チンを作るためには、以下の事項を実現しなければなりません。

-ゴ−ルがresumeする時に必要な、もとのアルゴリズムにあるすべての変数を記憶する方法 -次の活性化を始めるべき場所である、プログラムの停止地点を記憶する方法

IF/Prologでは、各活性化に必要なすべての変数値は、前もって定義された（typedef）構造体STATEに、恒久的に格納されている値に置き換えられなければなりません。正しい地点からゴ−ルにresumeするために、detachはある特定の正の数（Ｎ）を返すreturn文から成ります。そしてその返された整数によって再入点を指示するために、その文の直後に、ある特定のラベル（LabelＮ）が置かれます。コル−チンの最初には、制御を正しい再入点に移すためのコ−ドが置かれます。そのコ−ドは、与えられたプログラムポインタの値（最も最近に返された整数）に基づいて再入点を決めます。

以上のことを実現すると以下のようになります。この時点でかなり複雑になっていることに注意して下さい。この複雑なコ−ドを単純化するために多くのマクロ定義があり、これらについては次章で説明します。

#include typedef struct{ int x; int y;... } STATE; Cboot() { CPRED(PredicateName, Arity, Function, sizeof(STATE));}

int Function(PP, StatePtr) int PP; STATE *StatePtr; { switch(PP) { case 0: break; case 1: goto Label1; case 2: goto Label2; .... }; StatePtr->y =....StatePtr->x ....; .... return 1; Label1: ; .... return 2; Label2: ; .... return 0 }