MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
関数名
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）を使用します。
| 
