rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

anonymize singleton variables in iso_ext.pl, charsio.pl

Browse Source
This commit is contained in:
Mark Thom
2021-02-21 19:19:43 -07:00
parent 0ef5f7f9b1
commit f6498f2a7b
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/charsio.pl
View File

@@ -53,7 +53,7 @@ extend_var_list(Vars, VarList, NewVarList, VarType) :-
extend_var_list_(Vars, 0, VarList, NewVarList0, VarType), extend_var_list_(Vars, 0, VarList, NewVarList0, VarType),
append(VarList, NewVarList0, NewVarList). append(VarList, NewVarList0, NewVarList).
extend_var_list_([], _, VarList, [], _). extend_var_list_([], _, _, [], _).
extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :- extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-
( var_list_contains_variable(VarList, V) -> ( var_list_contains_variable(VarList, V) ->
extend_var_list_(Vs, N, VarList, NewVarList, VarType) extend_var_list_(Vs, N, VarList, NewVarList, VarType)

4
src/lib/iso_ext.pl
View File

@@ -110,10 +110,10 @@ run_cleaners_without_handling(Cp) :-
% call_with_inference_limit % call_with_inference_limit
:- non_counted_backtracking end_block/4. :- non_counted_backtracking end_block/4.
end_block(_, Bb, NBb, L) :- end_block(_, Bb, NBb, _L) :-
'$clean_up_block'(NBb), '$clean_up_block'(NBb),
'$reset_block'(Bb). '$reset_block'(Bb).
end_block(B, Bb, NBb, L) :- end_block(B, _Bb, NBb, L) :-
'$install_inference_counter'(B, L, _), '$install_inference_counter'(B, L, _),
'$reset_block'(NBb), '$reset_block'(NBb),
'$fail'. '$fail'.