3つの単精度実数の平均を計算するC関数、average()を取り込みたいとします。計算の結果はC関数の返り値で与えられ、やはり単精度実数です。
C関数の記述は以下の通りです。
c average(in float, in float, in float, return float). または c average(in float, return float, in float, in float).
IF/PrologでのC関数の呼び出しは、以下のようになります。
?-average(6.3,1.2,7,5,P). または ?-average(6.3,P,1.2,7,5).