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

avoid binding attributed variables.

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-03-27 11:43:03 +00:00
parent c468d8431e
commit 35bbb9e7d1
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pl/listing.yap
View File

@ -170,6 +170,9 @@ portray_clause(_).
'$list_get_vars'(Args, M, N). '$list_get_vars'(Args, M, N).
'$list_transform'([],_) :- !. '$list_transform'([],_) :- !.
'$list_transform'([X|L],M) :-
attvar(X), !,
'$list_transform'(L,N).
'$list_transform'([X,Y|L],M) :- X == Y, X = '$VAR'(M), !, N is M+1, '$list_transform'([X,Y|L],M) :- X == Y, X = '$VAR'(M), !, N is M+1,
'$list_transform'(L,N). '$list_transform'(L,N).
'$list_transform'('$VAR'(-1).L,M) :- !, '$list_transform'(L,M). '$list_transform'('$VAR'(-1).L,M) :- !, '$list_transform'(L,M).