diff --git a/C/unify.c b/C/unify.c
index 445e80950..eb639ff69 100644
--- a/C/unify.c
+++ b/C/unify.c
@@ -1009,9 +1009,9 @@ Yap_InitUnify(void)
 {
   Term cm = CurrentModule;
   Yap_InitCPred("unify_with_occurs_check", 2, p_ocunify, SafePredFlag);
+  Yap_InitCPred("acyclic_term", 1, p_acyclic, SafePredFlag|TestPredFlag);
   CurrentModule = TERMS_MODULE;
   Yap_InitCPred("cyclic_term", 1, p_cyclic, SafePredFlag|TestPredFlag);
-  Yap_InitCPred("acyclic_term", 1, p_acyclic, SafePredFlag|TestPredFlag);
   Yap_InitCPred("protected_unifiable", 3, p_unifiable, 0);
   CurrentModule = cm;
 }
diff --git a/docs/yap.tex b/docs/yap.tex
index 7fa26b080..fd7c7a08f 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -3359,6 +3359,12 @@ Same as @code{variant/2}, succeeds if @var{Term1} and @var{Term2} are variant te
 Succeed if @var{Submuser} subsumes @var{Subsuned} but does not bind any
 variable in @var{Subsumer}.
 
+@item acyclic_term(?@var{Term})
+@findex cyclic_term/1
+@syindex cyclic_term/1
+@cnindex cyclic_term/1
+Succeed if the argument @var{Term} is an acyclic term.
+
 
 @end table
 
@@ -11584,12 +11590,6 @@ efficiency. They are available through the
 
 @table @code
 
-@item acyclic_term(?@var{Term})
-@findex cyclic_term/1
-@syindex cyclic_term/1
-@cnindex cyclic_term/1
-Succeed if the argument @var{Term} is an acyclic term.
-
 @item cyclic_term(?@var{Term})
 @findex cyclic_term/1
 @syindex cyclic_term/1
diff --git a/library/terms.yap b/library/terms.yap
index 682215ccf..67af3f912 100644
--- a/library/terms.yap
+++ b/library/terms.yap
@@ -24,7 +24,6 @@
 		  subsumes/2,
 		  subsumes_chk/2,
 		  cyclic_term/1,
-		  acyclic_term/1,
 		  variable_in_term/2,
 		  variables_within_term/3,
 		  new_variables_in_term/3