関数名 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は、その引数が整数の場合には1を返し、それ以外の場合には0を返します。
IsIntegerは、EXPRESSIONが正しい整数式の場合には、1を返します。またEXPRESSIONを評価することによって得られた値が、VALUEとして返されます。(Prologの述語is/2と同等です。)そうでない場合には、0が返されます。
この評価によって次のような述語: 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)を使用します。
| scroll to top |
|