diff --git a/C/c_interface.c b/C/c_interface.c index 0986f82a4..8f9ae15fa 100644 --- a/C/c_interface.c +++ b/C/c_interface.c @@ -382,6 +382,7 @@ X_API Term STD_PROTO(YAP_MkVarTerm,(void)); X_API Bool STD_PROTO(YAP_IsVarTerm,(Term)); X_API Bool STD_PROTO(YAP_IsNonVarTerm,(Term)); X_API Bool STD_PROTO(YAP_IsIntTerm,(Term)); +X_API Bool STD_PROTO(YAP_IsLongIntTerm,(Term)); X_API Bool STD_PROTO(YAP_IsBigNumTerm,(Term)); X_API Bool STD_PROTO(YAP_IsFloatTerm,(Term)); X_API Bool STD_PROTO(YAP_IsDbRefTerm,(Term)); @@ -579,6 +580,12 @@ YAP_IsIntTerm(Term t) return IsIntegerTerm(t); } +X_API Bool +YAP_IsLongIntTerm(Term t) +{ + return IsLongIntTerm(t); +} + X_API Bool YAP_IsBigNumTerm(Term t) { diff --git a/include/YapInterface.h b/include/YapInterface.h index fe6819d6e..e3c80693f 100644 --- a/include/YapInterface.h +++ b/include/YapInterface.h @@ -96,6 +96,9 @@ extern X_API YAP_Term PROTO(YAP_MkVarTerm,(void)); /* YAP_Bool IsIntTerm(YAP_Term) */ extern X_API YAP_Bool PROTO(YAP_IsIntTerm,(YAP_Term)); +/* YAP_Bool IsLongIntTerm(YAP_Term) */ +extern X_API YAP_Bool PROTO(YAP_IsLongIntTerm,(YAP_Term)); + /* YAP_Bool IsBigNumTerm(YAP_Term) */ extern X_API YAP_Bool PROTO(YAP_IsBigNumTerm,(YAP_Term));