関数名 IsInt IsInteger IntCP IntPC 概要 #include "cpred.h"

int IsInt(T) TERM T;

int IsInteger(EXPRESSION, VALUE) TERM EXPRESSION; INT *VALUE;

TERM IntCP(ARGUMENT) INT ARGUMENT;

INT IntPC(T) TERM T;

IsIntは、その引数が整数の場合には１を返し、それ以外の場合には０を返します。

IsIntegerは、EXPRESSIONが正しい整数式の場合には、１を返します。またEXPRESSIONを評価することによって得られた値が、VALUEとして返されます。（Prologの述語is/2と同等です。）そうでない場合には、０が返されます。

この評価によって次のような述語： B is 10 + 3, my_new_pred(A, B)・・・は、 my_new_pred(A, 10 + 3)・・・ のように書けます。

IntCPは、ARGUMENTを表すProlog TERMを返します。

IntPCは、整数をPrologのTERMからCの表現形式に変換します。もし TERMが整数でない場合には、IF/Prologのセッションをアボ−トします。

注意！:あなたのプログラムには、intとlongのどちらが必要なのでしょうか？ IF/Prologでは、Cで書かれたプログラム中の整数に対しては、型INT（long）を使用します。