From fc2a50b67e5552724cc4ea5b9e777c349b819e6d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 3 Nov 2011 07:51:58 +0900 Subject: [PATCH] use C-code. --- library/varnumbers.yap | 28 +--------------------------- 1 file changed, 1 insertion(+), 27 deletions(-) diff --git a/library/varnumbers.yap b/library/varnumbers.yap index 32a18b270..a768c9727 100644 --- a/library/varnumbers.yap +++ b/library/varnumbers.yap @@ -31,30 +31,4 @@ max_var_numberl(I0,Ar,T,Max0,Max) :- ). varnumbers(GT, VT) :- - max_var_number(GT,0,Max), - Max1 is Max+1, - functor(Vars,vars,Max1), - varnumbers(GT, Vars, VT). - -varnumbers(V,_,V) :- var(V), !. -varnumbers('$VAR'(I),Vs,V) :- !, - I1 is I+1, - arg(I1,Vs,V). -varnumbers(S,Vs,NS) :- - functor(S,N,Ar), - functor(NS,N,Ar), - varnumbersl(0,Ar,Vs,S,NS). - -varnumbersl(I0,Ar,Vs,S,NS) :- - (I0 =:= Ar -> - true - ; - I is I0+1, - arg(I,S,A), - arg(I,NS,NA), - varnumbers(A,Vs,NA), - varnumbersl(I,Ar,Vs,S,NS) - ). - - - + unnumber_vars(GT, VT).