From 5cd85f4eaa41b543cd78b97cf827bac746e6984d Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 25 Jan 2010 12:28:49 +0000
Subject: [PATCH] export Yap_IsGroundTerm(t)

---
 C/utilpreds.c | 12 +++++++-----
 H/Yapproto.h  |  1 +
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/C/utilpreds.c b/C/utilpreds.c
index bca2c62b1..e17b0b333 100644
--- a/C/utilpreds.c
+++ b/C/utilpreds.c
@@ -1547,15 +1547,11 @@ static Int ground_complex_term(register CELL *pt0, register CELL *pt0_end)
   return -1;
 }
  
-static Int 
-p_ground(void)			/* ground(+T)		 */
+int Yap_IsGroundTerm(Term t)
 {
-  Term t;
-
   while (TRUE) {
     Int out;
 
-    t = Deref(ARG1);
     if (IsVarTerm(t)) {
       return FALSE;
     }  else if (IsPrimitiveTerm(t)) {
@@ -1585,6 +1581,12 @@ p_ground(void)			/* ground(+T)		 */
   }
 }
 
+static Int 
+p_ground(void)			/* ground(+T)		 */
+{
+  return Yap_IsGroundTerm(ARG1);
+}
+
 static int
 SizeOfExtension(Term t)
 {
diff --git a/H/Yapproto.h b/H/Yapproto.h
index eca5ba47f..8ecc2e24a 100644
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -368,6 +368,7 @@ Term	STD_PROTO(Yap_CopyTerm,(Term));
 int	STD_PROTO(Yap_IsListTerm,(Term));
 Term	STD_PROTO(Yap_CopyTermNoShare,(Term));
 int	STD_PROTO(Yap_SizeGroundTerm,(Term, int));
+int	STD_PROTO(Yap_IsGroundTerm,(Term));
 void	STD_PROTO(Yap_InitUtilCPreds,(void));
 
 /* yap.c */