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

SWI compat: use $VAR(ATOM) for names

Browse Source
This commit is contained in:
Vítor Santos Costa 2011-03-18 19:34:19 +00:00
parent dcccf3aa85
commit f31e15deb8
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pl/boot.yap
View File

@ -781,17 +781,19 @@ true :- true.
'$name_vars_in_goals1'(GVL, 0, _). '$name_vars_in_goals1'(GVL, 0, _).
'$name_well_known_vars'([]). '$name_well_known_vars'([]).
'$name_well_known_vars'([[Name|V]|NVL0]) :- '$name_well_known_vars'([[SName|V]|NVL0]) :-
var(V), !, var(V), !,
atom_codes(Name, SName),
V = '$VAR'(Name), V = '$VAR'(Name),
'$name_well_known_vars'(NVL0). '$name_well_known_vars'(NVL0).
'$name_well_known_vars'([_|NVL0]) :- '$name_well_known_vars'([_|NVL0]) :-
'$name_well_known_vars'(NVL0). '$name_well_known_vars'(NVL0).
'$name_vars_in_goals1'([], I, I). '$name_vars_in_goals1'([], I, I).
'$name_vars_in_goals1'(['$VAR'([95|Name])|NGVL], I0, IF) :- '$name_vars_in_goals1'(['$VAR'(Name)|NGVL], I0, IF) :-
I is I0+1, I is I0+1,
'$gen_name_string'(I0,[],Name), !, '$gen_name_string'(I0,[],SName), !,
atom_codes(Name, [95|SName]),
'$name_vars_in_goals1'(NGVL, I, IF). '$name_vars_in_goals1'(NGVL, I, IF).
'$name_vars_in_goals1'([NV|NGVL], I0, IF) :- '$name_vars_in_goals1'([NV|NGVL], I0, IF) :-
nonvar(NV), nonvar(NV),