diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

make $variables_in_term/3 check for repeated variables, ie (vint(a(X),[X],[X])).

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-03-09 14:15:41 +00:00
parent 828964c3c1
commit cd548813fd
1 changed files with 27 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
C/utilpreds.c
View File

@ -744,8 +744,30 @@ expand_vts(void)
static Int
p_variables_in_term(void) /* variables in term t */
{
Term out;
Term out, inp;
int count;
restart:
HB = H;
count = 0;
inp = Deref(ARG2);
while (!IsVarTerm(inp) && IsPairTerm(inp)) {
Term t = HeadOfTerm(inp);
if (IsVarTerm(t)) {
Bind_Global(VarOfTerm(t), TermNil);
count++;
if (TR > (tr_fr_ptr)Yap_TrailTop - 256) {
clean_tr(TR-count);
TR -= count;
if (!Yap_growtrail(count*sizeof(tr_fr_ptr *), FALSE)) {
return FALSE;
}
goto restart;
}
}
inp = TailOfTerm(inp);
}
do {
Term t = Deref(ARG1);
if (IsVarTerm(t)) {
@ -772,7 +794,10 @@ p_variables_in_term(void) /* variables in term t */
return FALSE;
}
} while (out == 0L);
return(Yap_unify(ARG3,out));
clean_tr(TR-count);
TR -= count;
HB = B->cp_h;
return Yap_unify(ARG3,out);
}
static Int