関数名 IsVar MkVariable 概要 #include "cpred.h"
int IsVar(ARGUMENT) TERM ARGUMENT;
TERM MkVariable();
IsVarは、引数が値をもたない変数の場合は１の値を返し、それ以外の場合は、０の値を返します。
MkVariableは、値を持たない新しい変数を返します。
