-・C関数名”Forpred”は、Cboot()関数の中でマクロ定義CPRED()によってIF/Prologに与えられます。

-・プログラムポインタ変数は、マクロ定義COROUTINEによって自動的にユ−ザのプログラムに加えられることに注意して下さい。

-・述語の最初の呼び出しは、プログラムポインタである変数portを０として行われます。これによって、ル−チンのswitch文のcase０を実行し、switch文からぬけ出します。

-・型チェックは、第１引数と第３引数について行われます。もしそれらが整数でない場合、”integer_expected”というエラ−メッセ−ジが出力され、関数はFAILポ−トから外に出ます。

-・それ以外の場合は、カウンタ−iが述語の第１引数（Min_int）の値に初期化され、第３引数の最大値（Max_int）がmaxに記憶されます。そしてwhileル−プを１回実行します。最初のwhileル−プの繰り返しで、カウンタ−i（Min_int）は、述語の第２引数と単一化され、ル−チンは１を返してル−プを出ます。

-・Prologでバックトラックのために２番目の解を必要な場合、ル−チンはプログラムポインタ、portを直前の戻り値１にして、ル−チンを呼び出します。switchはcase１を選び、制御の流れは、実際にwhileル−プの中にあるラベルres１に移されます。whileル−プは実行を続け、カウンタを増やし、カウンタが最大値より小さいので、２回目の繰り返しを始めます。現在のカウンタの値は第２引数と単一化され、１が返されます。

-・Prologで３番目の解が必要な時には、上で述べたものと同じ手続きがとられます。注意：多くのC述語では、返り値は、ここでいう各DETACHとは同じになりません。また制御の流れは、常に同じラベルに到達するわけではありません。

-・Prologで４番目の解が必要な時には､switch文は制御の流れを再びwhileル−プの中のres１に移します。しかし今回は、カウンタが増やされた後カウンタの値が最大値を越えているので、whileル−プは実行を繰り返しません。その代わりに次のステ−トメントFAILが実行されたり、０が返されます。これはもうそれ以上他の解がなく、述語が失敗したことを表しています。