1/* Logicmoo Debug Tools 2% =================================================================== 3% File 'util_varnames.pl' 4% Purpose: An Implementation in SWI-Prolog of certain debugging tools 5% Maintainer: Douglas Miles 6% Contact: $Author: logicmoo@gmail.com ; 7% Version: 'util_varnames.pl' 1.0.0 8% Revision: $Revision: 1.1 $ 9% Revised At: $Date: 2021/07/11 21:57:28 $ 10% =================================================================== 11*/ 12% File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/util_varnames.pl 13:- module(util_varnames, 14 [ ain00/1, 15 contains_ftVar/1, 16 count_members_eq/3, 17 all_different_vars/1, 18 all_different_vals/1, 19 all_different_vals/2, 20 all_disjoint_in_sets/3, 21 del_each_attr/2, 22 get_random_headvars/1, 23 member_open/2, 24 get_random_headvars/4, 25 get_1head_arg_var/5, 26 term_slots/2, 27 never_bound/1, 28 dif_matrix/2, 29 term_singleslots/2, 30 term_singleslots/3, 31 term_singleslots/5, 32 set_varname/2, 33 set_varname/3, 34 write_functor/2, 35 atom_subst_frak_0/4, 36 arg_varname/3, 37 renumbervars/3, 38 b_implode_varnames/1, 39 b_implode_varnames0/1, 40 bad_varnamez/1, 41 call_not_not/1, 42 call_return_tf/2, 43 check_varnames/1, 44 clause_ref_file/2, 45 clause_ref_vars/2, 46 contains_badvarnames/1, 47 contains_dvar/1, 48 contains_singletons/1, 49 del_attr_type/2, 50 copy_term_and_varnames/2, 51 mpred_numbervars_with_names/1, 52 ensure_vars_labled/2, 53 ensure_vars_labled_r/2, 54 fix_varcase_name/2, 55 get_clause_vars/1, 56 get_clause_vars/2, 57 get_clause_vars_copy/2, 58 get_clause_vars_hb_int/2, 59 imploded_copyvars/2, 60 locate_clause_ref/5, 61 not_member_eq_local/2, 62 listing_vars_file/0, 63 make_subterm_path/3, 64 maybe_record_scanned_file/0, 65 66 without_varname_scan/1, 67 68 no_varnaming/1, 69 no_vars_needed/1, 70 71 print_numbervars_maybe/1, 72 print_numbervars/1, 73 scan_for_varnames0/0, 74 que_read_source_file_vars/1, 75 read_source_file_vars/1, 76 read_source_file_vars_1/1, 77 read_source_vars/2, 78 replace_in_string_frak_0/4, 79 save_clause_vars/2, 80 save_clause_vars/3, 81 save_clause_vars/6, 82 save_file_source_vars/3, 83 save_to_clause_ref/3, 84 scan_for_varnames/0, 85 dcall_if_verbose/1, 86 dcall_when/3, 87 snumbervars4/4, 88 snumbervars5/4, 89 subterm_path/3, 90 term_expansion_save_vars/1, 91 try_get_body_vars/1, 92 try_get_head_vars/1, 93 try_get_inner_vars/1, 94 set_varname/2, 95 try_save_vars/1, 96 97 v_dif_rest/2, 98 vmust/1, 99 init_varname_stores/1, 100 maybe_scan_for_varnames/0 101 102 ]).
111% % % OFF :- system:use_module(library(must_sanity)). 112% % % OFF :- system:use_module(library(logicmoo/misc_terms)). 113 114:- multifile 115 prolog:make_hook/2. 116:- meta_predicate 117 ain00( ), 118 call_not_not( ), 119 call_return_tf( , ), 120 contains_singletons( ), 121 get_clause_vars( ), 122 get_clause_vars( , ), 123 no_varnaming( ), 124 without_varname_scan( ), 125 dcall_when( , , ), 126 snumbervars4( , , , ), 127 snumbervars5( , , , ), 128 try_save_vars( ), 129 all_different_vals( , ), 130 all_disjoint_in_sets( , , ), 131 init_varname_stores( ), 132 vmust( ). 133 134:- module_transparent(( 135 all_different_vals/1, 136 all_different_vals/2, 137 set_varname/2, 138 set_varname/3, 139 atom_subst_frak_0/4, 140 b_implode_varnames/1, 141 b_implode_varnames0/1, 142 bad_varnamez/1, 143 call_not_not/1, 144 call_return_tf/2, 145 check_varnames/1, 146 clause_ref_file/2, 147 clause_ref_vars/2, 148 contains_badvarnames/1, 149 contains_singletons/1, 150 del_attr_type/2, 151 ensure_vars_labled/2, 152 ensure_vars_labled_r/2, 153 fix_varcase_name/2, 154 get_clause_vars/1, 155 get_clause_vars/2, 156 get_clause_vars_copy/2, 157 get_clause_vars_hb_int/2, 158 imploded_copyvars/2, 159 locate_clause_ref/5, 160 161 listing_vars_file/0, 162 make_subterm_path/3, 163 maybe_record_scanned_file/0, 164 no_varnaming/1, 165 without_varname_scan/1, 166 no_vars_needed/1, 167 168 print_numbervars_maybe/1, 169 print_numbervars/1, 170 read_source_file_vars/1, 171 read_source_file_vars_1/1, 172 read_source_vars/2, 173 replace_in_string_frak_0/4, 174 save_clause_vars/2, 175 save_clause_vars/3, 176 save_clause_vars/6, 177 save_file_source_vars/3, 178 save_to_clause_ref/3, 179 scan_for_varnames/0, 180 dcall_if_verbose/1, 181 dcall_when/3, 182 snumbervars4/4, 183 snumbervars5/4, 184 subterm_path/3, 185 term_expansion_save_vars/1, 186 try_get_body_vars/1, 187 try_get_head_vars/1, 188 try_get_inner_vars/1, 189 set_varname/2, 190 try_save_vars/1, 191 192 v_dif_rest/2, 193 % name_variable/2, variable_name/2, 194 vmust/1, 195 init_varname_stores/1 196 )). 197:- meta_predicate dcall_if_verbose( ). 198 199% % % OFF :- system:reexport((lockable_vars)). 200% % % OFF :- system:use_module(library(logicmoo/each_call)). 201% % % % OFF :- system:use_module(library(dictoo_lib)). 202:- system:use_module(library(logicmoo/each_call)). 203:- use_module(library(occurs)). 204:- use_module(library(gensym)). 205:- use_module(library(when)). 206 207 208:- use_module(library(backcomp)). 209:- use_module(library(debug)). 210:- use_module(library(occurs)). 211:- use_module(library(check)). 212%:- use_module(library(edinburgh)). 213:- use_module(library(debug)). 214:- use_module(library(prolog_stack)). 215:- use_module(library(make)). 216 217 218% :- use_module(library(gui_tracer)). 219:- use_module(library(system)). 220:- use_module(library(socket)). 221:- use_module(library(readutil)). 222:- abolish(system:time/1). 223:- use_module(library(statistics)). 224%:- use_module(library(codesio)). 225:- use_module(library(charsio)). 226:- use_module(library(ssl)). 227:- use_module(library(prolog_codewalk)). 228:- use_module(library(prolog_source)). 229:- use_module(library(date)). 230%:- use_module(library(editline)). 231:- use_module(library(listing)).
238member_open(C, [B|A]) :- (nonvar(B),B=C) ; (nonvar(A),member_open(C, A)). 239 240%=
246:-export(sourceable_variables_lwv/1). 247 248sourceable_variables_lwv(AllVs):- 249 ((prolog_load_context(variable_names,Vs1),is_list(Vs1));Vs1=[]), 250 ((nb_current('$varable_names',Vs2),is_list(Vs2));Vs2=[]), 251 ((execute_goal_vs(Vs3))), 252 ((nb_current('$old_variable_names',Vs4),is_list(Vs4));Vs4=[]), 253 append([Vs3,Vs2,Vs1,Vs4],All),!,list_to_set(All,AllVs),!. 254 255source_variables_lwv(Msg,AllVs):- 256 sourceable_variables_lwv(Vs1), 257 grab_vn_varnames(Msg,Vs2), 258 append([Vs2,Vs1],All),!,list_to_set(All,AllVs),!. 259 % set_varname_list( AllS). 260source_variables_lwv(_Msg,[]):-!. 261 262 263:- export(execute_goal_vs/1). 264execute_goal_vs(Vs):- execute_goal_vs0(Vs),!. 265execute_goal_vs([]). 266execute_goal_vs0(Vs):- notrace(catch(parent_goal('$toplevel':'$execute_goal2'(_,Vs,_)),_,fail)). 267execute_goal_vs0(Vs):- notrace(catch(parent_goal('$toplevel':'$execute_goal2'(_,Vs)),_,fail)). 268 269%:- public ((attr_unify_hook/2,attr_portray_hook/2)). 270% :- public portray_attvar/1. 271% :- export(portray_attvar/1). 272%:- export(attr_unify_hook/2). 273%:- export(attr_portray_hook/2). 274%:- export(attribute_goals/3). 275 276:- thread_local(t_l:varname_lock/1). 277when_var_locked(What):- t_l:varname_lock(What),!. 278 279:- thread_local(t_l:no_kif_var_coroutines/1).
286vnattr_unify_hook(X,Y):- ignore(quietly(must(vn_auh_0(X,Y)))). 287 288vn_auh_0(_, Var):- cyclic_term(Var),!,fail. 289vn_auh_0(Var,_):- cyclic_term(Var),!,fail. 290vn_auh_0(Name1, Var):- when_var_locked(What),!,(unify_name_based(Name1, Var)->true;call(What,Var)). 291vn_auh_0(Name1, Var):- var(Var),unify_name_based(Name1, Var),!. 292vn_auh_0(_Form, _OtherValue):-!. 293 294 295 296unify_name_based(Var1, Var2):- \+ atom(Var1),variable_name_or_ref(Var1,Name),!,unify_name_based(Name, Var2). 297unify_name_based(_Form, _OtherValue):- local_override(no_kif_var_coroutines,G),!,call(G). 298unify_name_based(Name1, Var):- get_var_name(Var,Name2),!,Name1=Name2,!. 299unify_name_based(Name1, Var):- get_attr(Var, vn, Name2),!,combine_names(Name1,Name2,Name),(Name2==Name->true;put_attr(Var,vn,Name)). 300unify_name_based(Name1, Var):- var(Var),!,put_attr(Var, vn, Name1). 301unify_name_based(_, Var):- nonvar(Var),!. 302%unify_name_based(_, Var):- cyclic_term(Var),!,fail. 303%unify_name_based(_, Var):- cyclic_term(Var),!. 304%unify_name_based(_, Var):- cyclic_break(Var),!,fail. 305 306combine_names(Name1,Name2,Name1):-Name1==Name2,!. 307combine_names(Name1,Name2,Name):- 308 ((atom_concat(_,Name1,Name2);atom_concat(Name1,_,Name2)) -> Name=Name2 ; ( 309 ((atom_concat(Name2,_,Name1);atom_concat(_,Name2,Name1)) -> Name=Name1 ; ( 310 (combine_names_dash(Name1,Name2,Name)))))). 311 312combine_names_dash(Name1,Name2,Name):- number_name(Name2),!,Name=Name1. 313combine_names_dash(Name1,Name2,Name):- number_name(Name1),!,Name=Name2. 314combine_names_dash(Name1,Name2,Name):- word_name(Name2),!,atomic_list_concat([Name2,'_',Name1],Name),!. 315combine_names_dash(Name1,Name2,Name):- atomic_list_concat([Name1,'_',Name2],Name),!. 316 317number_name(Name):- name(Name,[95,Number|_]),char_type(Number,digit). 318word_name(Name):- name(Name,[A,_|_]),char_type(A,upper). 319 320 321/* 322 323%= 324 325%% attr_portray_hook( ?Value, ?Var) is semidet. 326% 327% Attr Portray Hook. 328% 329 % vn:attr_portray_hook(Name, _) :- write('???'), write(Name),!. 330 331:- multifile(user:portray/1). 332:- dynamic(user:portray/1). 333user:portray(Sk):- get_attr(Sk, vn, Name), get_attrs(Sk,att(vn,Name,[])),write(Name),!,write('{}'). 334 335 336%% portray_attvar( ?Var) is semidet. 337% 338% Hook To [portray_attvar/1] For Module Logicmoo_varnames. 339% Portray Attribute Variable. 340% 341portray_attvar(Var) :- 342 write('{<'), 343 ((get_attr(Var,vn, VarName))->true;sformat(VarName,'~q',[Var])), 344 get_attrs(Var, Attr), 345 catch(writeq('??'(VarName,Attr)),_,'$attvar':portray_attrs(Attr, Var)), 346 write('>}'). 347*/ 348 349 350 351:- set_module(class(library)). 352 353% % % OFF :- system:use_module(library(when)). 354 355:- prolog_clause:multifile(( 356 unify_goal/5, % +Read, +Decomp, +M, +Pos, -Pos 357 unify_clause_hook/5, 358 make_varnames_hook/5, 359 open_source/2)). % +Input, -Stream 360 361:- predicate_options(prolog_clause:clause_info/5, 5, 362 [ variable_names(-list) 363 ]). 364 365% % % OFF :- system:use_module(library(prolog_source)). 366% % % OFF :- system:use_module(library(prolog_clause)). % read_term_at_line/6 367 368 369:- meta_predicate vmust( ). 370 371%=
377vmust(G):-!,must(G). 378vmust(G):-!,call(G). 379 380 381%=
387dcall_when(P,In,Out):- must(call(P,In,Out)),ignore((In\=@=Out,dmsg((dcall_when(P) :- (In,Out))))). 388 389:- create_prolog_flag(source_variables, false, [type(boolean),keep(true)]). 390:- thread_local(t_l:dont_varname/0). 391:- thread_local(t_l:dont_varname_te/0). 392:- thread_local(t_l:try_varname_clause_next/1). 393 394 395% :- use_module('./redo_locally'). 396%=
403no_varnaming(G):-locally(t_l:dont_varname,G). 404 405 406%=
412all_different_vals(Term):-all_different_vals(dif_matrix,Term).
419all_different_vars(_):- t_l:dont_varname,!. 420all_different_vars(A):-(quietly((all_disjoint_in_sets(dif_matrix,A,A)))),!. 421all_different_vars(A):-must(quietly((all_disjoint_in_sets(dif_matrix,A,A)))),!. 422all_different_vars(A):-all_different_vals(v_dif_rest,A),!.
430all_different_vals(Pred,Term):-
431 must(quietly(( (is_list(Term)-> Slots = Term ; term_slots(Term,Slots)),!,
432 all_disjoint_in_sets(Pred,Slots,Slots)))).
438all_disjoint_in_sets(_,[],_):-!. 439all_disjoint_in_sets(_,[_],_):-!. 440all_disjoint_in_sets(P,[V|Vs],SET):-delete_eq(SET,V,REST),!,call(P,V,REST),all_disjoint_in_sets(P,Vs,SET). 441 442/* 443delete_eq([],Item,[]):-!,dmsg(warn(delete_eq([],Item,[]))). 444delete_eq([L|List],Item,List):-Item==L,!. 445delete_eq([L|List],Item,[L|ListO]):-delete_eq(List,Item,ListO),!. 446*/
452v_dif_rest(V,REST):- when('?='(V,_),not_member_eq_local(V,REST)).
458not_member_eq_local(_,[]):-!. 459not_member_eq_local(E,REST):- \+ identical_memberchk(E,REST).
465dif_matrix(List,V):- is_list(List),!,list_to_set(List,SET), maplist(dif_matrix(V),SET). 466dif_matrix(V,List):- is_list(List),!,list_to_set(List,SET), maplist(dif_matrix_hopfully(V),SET). 467dif_matrix(A,B):- dif_matrix_hopfully(A,B). 468dif_matrix_hopfully(A,B):-A==B,!. 469dif_matrix_hopfully(A,B):- dif:dif(A,B),!. 470 471 472%=
478make_subterm_path(Sub,Term,PathO):-vmust(subterm_path(Sub,Term,Path)),!,PathO=Path. 479 480 481%=
487subterm_path(Sub,Term,[]):-Sub==Term,!. 488subterm_path(Sub,Term,[arg(N)|Path]):-compound(Term),!,arg(N,Term,TermE),subterm_path(Sub,TermE,Path),!. 489 490 491%=
497get_clause_vars(CV):- quietly(get_clause_vars_nontraced(CV)). 498:- export(get_clause_vars_nontraced/1). 499 500%=
506get_clause_vars_nontraced(_):- t_l:dont_varname,!. 507get_clause_vars_nontraced(V):- var(V),!. 508get_clause_vars_nontraced('$VAR'(_)):- !. 509get_clause_vars_nontraced(_:V):- var(V),!,ignore((get_varname_list_local(Vs),member(N=V0,Vs),V0==V,set_varname(write_functor,N,V))). 510get_clause_vars_nontraced(MHB):- term_variables(MHB,Vs),must(get_clause_vars(MHB,Vs)). 511 512:- '$set_predicate_attribute'(get_clause_vars(_), trace, 1). 513:- '$set_predicate_attribute'(get_clause_vars(_), hide_childs, 1). 514 515 516%=
522del_attr_type(Type,Var):-ignore(del_attr(Var,Type)). 523 524 525%=
531get_clause_vars(_,[]):-!. 532get_clause_vars(MHB,[V|Vs]):- all_different_vars([V|Vs]),vmust((get_clause_vars_copy(MHB,WVARS),!, 533 vmust(MHB=WVARS),unlock_vars(MHB),nop(sanity(check_varnames(MHB))))),!, 534 maplist(del_attr_type(vl),[V|Vs]). 535get_clause_vars(MHB,Vs):- vmust((get_clause_vars_copy(MHB,WVARS),!,vmust(MHB=WVARS),unlock_vars(MHB),must(check_varnames(Vs)))),!. 536get_clause_vars(_,_):- !. 537 538 539 540%=
546get_clause_vars_copy(HB,HB):- ground(HB),!. 547get_clause_vars_copy(HH,HH):- sub_term(S,HH),compound(S),S='$VAR'(_),!. % already labled 548get_clause_vars_copy(H0,MHB):- copy_term(H0,MHB),!. 549get_clause_vars_copy(H0,MHB):- 550 source_variables_lv(AllS), 551 must((copy_term(H0+AllS,MHB+CAllS), 552 term_slots(MHB,Slots), 553 all_different_vars(Slots), 554 % lock_vars(Slots), 555 as_clause_no_m( MHB, H, B), 556 must_maplist(set_varname(write_functor),CAllS), 557 get_clause_vars_hb_int(H,B))),!. 558 559get_clause_vars_copy(H0,MHB):- 560 must((copy_term_and_varnames(H0,MHB),lock_vars(MHB),as_clause_no_m( MHB, H, B), 561 get_clause_vars_hb_int(H,B))),!. 562 563 564 565 566%=
572get_clause_vars_hb_int(H,B):- varname_cache:varname_info(H,B,Vs,_),must_maplist(set_varname(write_functor),Vs),!. 573get_clause_vars_hb_int(H,B):- call_return_tf(try_get_body_vars(B),_TF1),call_return_tf(try_get_head_vars(H),_TF2),!. 574 575 576 577%=
583atom_subst_frak_0(A,F,R,K):-replace_in_string_frak_0(F,R,A,K),!. 584 585%=
591replace_in_string_frak_0(F,R,A,K):-atom(A),!,atom_string(A,S),replace_in_string_frak_0(F,R,S,C),atom_string(K,C). 592replace_in_string_frak_0(SepChars,Repl,A,C):- atomics_to_string(B,SepChars,A),atomics_to_string(B,Repl,C). 593 594 595 596%=
602fix_varcase_name(N,VN):-atom_subst_frak_0(N,'-','_',O),atom_subst_frak_0(O,'?','_',VN). 603 604 605%=
611no_vars_needed(H):- is_ftVar(H),!. 612no_vars_needed(H):- (t_l:dont_varname; ( ground(H) ; \+ compound(H))) ,!. 613no_vars_needed(A:H):-atom(A),!,no_vars_needed(H). 614no_vars_needed('$VAR'(_)):-!. 615no_vars_needed(H):- compound(H),H=varname_info(_,_,_,_),!. 616 617%=
623try_get_inner_vars(H):- once((functor(H,_,N),arg(N,H,List),member(vars(Vs),List))),is_list(Vs),term_variables(H,VL),must_maplist(set_varname(write_functor),Vs,VL). 624 625 626 627%=
634term_slots(Term,Slots):-term_singleslots(Term, [],NS, [],S),append(NS,S,Slots). 635 636 637%=
644term_singleslots(A,Vs):- quietly(term_singleslots(A,[],_,[],Vs)). 645%= %= :- was_export(term_singleslots/3). 646 647%=
653term_singleslots(Term,NonSingle,Singles):- quietly(term_singleslots(Term,[],NonSingle,[],Singles)). 654%= %= :- was_export(term_singleslots/5). 655 656%=
662term_singleslots(Fml, NS,NS, S,S):- atomic(Fml),!. 663term_singleslots(Fml, NS,NS, S,S):- identical_memberchk(Fml,NS),!. 664term_singleslots(Fml, NS, [Fml|NS], S, NSV):- is_ftVar(Fml),identical_memberchk(Fml,S),!,delete_eq(S,Fml,NSV),!. 665term_singleslots(Fml, NS, NS, S, [Fml|S]):- is_ftVar(Fml),!. 666term_singleslots([H|T],NS,NSO,S,NSV):- !, term_singleslots(H,NS,NSM,S,M),term_singleslots(T,NSM,NSO,M,NSV). 667term_singleslots(Fml, NS,NSO, S,NSV):- compound(Fml),Fml=..[_|T],!, term_singleslots(T, NS,NSO, S,NSV). 668 669 670%=
676call_return_tf(Call,TF):- ((-> TF = t ; TF = nil)). 677 678 679 680%=
686try_get_varname_cache(H):- no_vars_needed(H),!. 687try_get_varname_cache(H):- varname_cache:varname_info(H,_,Vs,_),maplist(set_varname(write_functor),Vs),!. 688try_get_varname_cache(H):- varname_cache:varname_info(_,H,Vs,_),maplist(set_varname(write_functor),Vs),!. 689 690%=
696try_get_head_vars(H):- no_vars_needed(H),!. 697try_get_head_vars(H):- varname_cache:varname_info(H,_,Vs,_),maplist(set_varname(write_functor),Vs),!. 698try_get_head_vars(H):- try_get_inner_vars(H). 699try_get_head_vars(H):- varname_cache:varname_info(_,H,Vs,_),maplist(set_varname(write_functor),Vs),!. 700try_get_head_vars(B):- must(get_random_headvars(B)),!. 701 702 703 704%=
710try_varname_infos(H):- varname_cache:varname_info(H,_,Vs,_),maplist(set_varname(write_functor),Vs),!. 711 712 713%=
719get_random_headvars(H):- \+ compound(H),!. 720get_random_headvars(H):- functor(H,F,A),get_random_headvars(H,F,A,A). 721 722 723%=
729get_random_headvars(_H,_F,A,N):- (N < 1 ; N>A),!. 730get_random_headvars( H, F,A,N):- arg(N,H,HA),ignore(get_1head_arg_var(H,F,N,A,HA)),N2 is N-1,get_random_headvars(H,F,A,N2). 731 732 733%=
739get_1head_arg_var(_H,F,N,A,HA):- 740 functor(HH,F,A), 741 (nonvar(HA)->!; 742 (arg(N,HH,COMP), 743 (( arg_varname(HH,N,Name),HA='$VAR'(Name));(try_get_varname_cache(HH),sub_ft_var(HA,COMP))))). 744 745 746%=
752sub_ft_var(HA,COMP):-
753 (is_ftVar(COMP)-> HA=COMP; (compound(COMP),arg(_,COMP,FTVAR),sub_ft_var(HA,FTVAR))).
760arg_varname(P,N,Name):- arg(N,P,Now),varname_cache:varname_info(P,_,List,_),var(Now),member(Nam=V,List),Now==V,must(Nam=Name). 761 762 763%=
769try_get_body_vars(H):- no_vars_needed(H),!. 770try_get_body_vars(H):- varname_cache:varname_info(_,H,Vs,_),maplist(set_varname(write_functor),Vs),!. 771try_get_body_vars(H):- try_get_inner_vars(H),!. 772try_get_body_vars(H):- varname_cache:varname_info(H,_,Vs,_),maplist(set_varname(write_functor),Vs),!. 773try_get_body_vars((A,B)):-!,try_get_head_vars(A),try_get_head_vars(B). 774try_get_body_vars((A;B)):-!,try_get_head_vars(A),try_get_head_vars(B). 775try_get_body_vars(C):- C=..[_,L],maplist(try_get_body_vars,L). 776try_get_body_vars(B):- must(get_random_headvars(B)),!. 777try_get_body_vars(_). 778 779:- multifile(varname_cache:varname_info/4). 780:- dynamic(varname_cache:varname_info/4). 781 782:- meta_predicate renumbervars( , , ). 783 784:- meta_predicate set_varname( , , ). 785:- meta_predicate set_varname( , ). 786% set_varname(How,B):-var(B),!. 787 788%=
794:- meta_predicate set_varname( , , ). 795:- meta_predicate set_varname( , ). 796 797set_varname(How,B):-var(B),writeq(set_varname(How,B)),nl,dtrace,trace_or_throw(var_assign_varname_vars(How,B)). 798set_varname(How,N=V):-must(set_varname(How,N,V)),!. 799 800%set_varname(How,N,V):-var(V),var(N),!,V=N. 801 802%=
808set_varname(How,N,V):- (var(How);var(N)),trace_or_throw(var_var_set_varname(How,N,V)). 809set_varname(_,_,NV):-nonvar(NV),ignore((NV='$VAR'(N),must(number(N);atom(N)))). 810set_varname(_,_,V):-atom(V),!. 811set_varname(How,'$VAR'(Name),V):- !, set_varname(How,Name,V). 812set_varname(_:[How],N,V):- !, set_varname(How,N,V). 813set_varname(_:[How|List],N,V):- !, set_varname(How,N,V),set_varname(List,N,V). 814set_varname(How,N,V):- number(N),!,format(atom(VN),'~w',[N]),set_varname(How,VN,V). 815set_varname(How,N,V):- atom(N),atom_concat('"?',LS,N),atom_concat(NN,'"',LS),fix_varcase_name(NN,VN),!,set_varname(How,VN,V). 816set_varname(_M:write_functor,N,V):- !,ignore('$VAR'(N)=V),!. 817set_varname(_M:write_attribute,N,V):-!,put_attr(V,vn,N). 818set_varname(_M:put_attr,N,V):-!,put_attr(V,vn,N). 819set_varname(Nb_setval,N,V):- get_varname_list_local(Vs),!,register_var(N,Vs,V,NewVs),call(call,Nb_setval,'$variable_names',NewVs). 820set_varname(Nb_setval,N,V):- call(call,Nb_setval,'$variable_names',[N=V]). 821%set_varname(Nb_setval,N,V):- must(call(call,Nb_setval,N,V)). 822%set_varname(_How,_,_). 823 824 825 826write_functor(N=V):-write_functor(N,V). 827 828%=
834write_functor(N,V):-var(V),!,put_attr(V,vn,N). 835write_functor(N,V):-ignore('$VAR'(N)=V),!. 836 837:- export(save_clause_vars/2). 838:-module_transparent(save_clause_vars/2). 839 840%=
save_clause_vars(_,[])
:-!.
847save_clause_vars(MHB,Vs):- ignore(maybe_record_scanned_file),ignore(current_why(Why)), 848 ignore((var(Why),loading_file(Why))),!,save_clause_vars(MHB,Vs,Why). 849 850% ?- clause(pui_help:prolog_help_topic(A),B,ClauseRef), prolog_clause:clause_info(ClauseRef, File, TermPos, NameOffset, Options). 851 852 853:- export(save_clause_vars/3). 854 855%=
861save_clause_vars(_, [],_):-!. 862save_clause_vars(MHB,Vs,Why:_):-atom(Why),!,save_clause_vars(MHB,Vs,Why). 863save_clause_vars(MHB,Vs,Why):- ( \+ \+ (logicmoo_util_term_listing:as_clause_w_m(MHB, M, H, B, MB),save_clause_vars(M,H,MB,B,Vs,Why))). 864 865 866 867%=
873locate_clause_ref(M,H,_MB,_B,_ClauseRef):- ( \+ (predicate_property(M:H,number_of_clauses(_)))),( \+ (predicate_property(_:H,number_of_clauses(_)))),!,fail. 874locate_clause_ref(M,H,MB,B,ClauseRef):-clause_asserted(M:H,MB:B,ClauseRef). 875locate_clause_ref(_M,H,MB,B,ClauseRef):-clause_asserted(H,MB:B,ClauseRef). 876locate_clause_ref(_M,H,MB,B,ClauseRef):-clause_asserted(_:H,MB:B,ClauseRef). 877locate_clause_ref(M,H,_MB,B,ClauseRef):-clause_asserted(M:H,B,ClauseRef). 878locate_clause_ref(_M,H,_MB,B,ClauseRef):-clause_asserted(H,B,ClauseRef). 879locate_clause_ref(_M,H,_MB,B,ClauseRef):-clause_asserted(_:H,B,ClauseRef). 880 881 882%=
888clause_ref_vars(ClauseRef,Was):-prolog_clause:clause_info(ClauseRef, _File, _TermPos, _NameOffset, [variable_names(Was)]). 889 890%=
896clause_ref_file(ClauseRef,File):-prolog_clause:clause_info(ClauseRef, File, _TermPos, _NameOffset, []). 897 898:- export(save_to_clause_ref/3). 899 900%=
906save_to_clause_ref(ClauseRef,Vs,Why):- ain00(names(ClauseRef,Vs)),ain00(names_why(ClauseRef,Why)),!. 907 908:- export(save_clause_vars/6). 909 910%=
916save_clause_vars(M,H,MB,B,Vs,Why:_):-atom(Why),!,save_clause_vars(M,H,MB,B,Vs,Why). 917save_clause_vars(M,H,MB,B,Vs,Why):- fail, locate_clause_ref(M,H,MB,B,ClauseRef),clause_ref_vars(ClauseRef,Was), 918 ((Was=Vs) -> fail ; save_to_clause_ref(ClauseRef,Vs,Why)),!. 919save_clause_vars(_M,H,_MB,B,Vs,Why):- 920 ain00(varname_cache:varname_info(H,B,Vs,Why)). 921 922 923%=
929ain00(A):- clause_asserted(A),!. 930ain00(A):- assertz(A).
937contains_ftVar(Term):- sub_term(Sub,Term),compound(Sub),Sub='$VAR'(_). 938 939 940 941%=
947ensure_vars_labled_r(I,I):-!. 948ensure_vars_labled_r(I,O):- 949 once((((get_varname_list_local(Vs),Vs\==[])), 950 copy_term(I:Vs,O:OVs), 951 must_maplist(write_functor,OVs))), 952 (O \=@= I ; ground(O)),!. 953 954ensure_vars_labled_r(I,O):- 955 once((get_clause_vars_copy(I,O),unlock_vars(O))), 956 (O \=@= I ; ground(O)),!. 957 958ensure_vars_labled_r(I,O):- copy_term_and_varnames(I,O),I\=@=O. 959 960:- export(copy_term_and_varnames/2). 961 962%=
968copy_term_and_varnames(Term,Named):- quietly((unnumbervars(Term,UNV),copy_term(UNV,Named))),!. 969copy_term_and_varnames(Term,Named):- quietly((ignore((source_variables_lv(AllS))), copy_term(Term+AllS,Named+CAllS),maplist(set_varname([write_functor,b_setarg]),CAllS))). 970 971 972%=
978renumbervars(How,Term,Named):- 979 quietly(( 980 must_det((source_variables_lv(AllS);AllS=[])), 981 copy_term(Term+AllS,Named+CAllS), 982 maplist(set_varname(How),CAllS))). 983 984 985 986 987 988%=
994source_variables_lv(AllS):- 995 (prolog_load_context(variable_names,Vs1);Vs1=[]), 996 (get_varname_list_local(Vs2);Vs2=[]), 997 % execute_goal_vs(Vs3), 998 ignore(Vs3=[]), 999 append(Vs1,Vs2,Vs12),append(Vs12,Vs3,All),!,list_to_set(All,AllS), 1000 set_varname_list( AllS). 1001 1002 1003 1004%=
1010contain_numbervars(Term):- sub_term(Sub,Term),compound(Sub),Sub='$VAR'(_),!. 1011 1012 1013 1014 1015%=
1021contains_singletons(Term):-contains_singletons(Term,N),N>0. 1022 1023 1024%=
1030contains_singletons(Term,N):-
1031 % sanity(\+contain_numbervars(Term)),
1032 \+ ground(Term),
1033 copy_term_nat(Term,Nat),
1034 term_variables(Nat,Vs),
1035 numbervars(Nat,0,_,[attvar(bind),singletons(true)]),!,
1036 count_members_eq('$VAR'('_'),Vs,N).
1044count_members_eq(_,[],0):-!. 1045count_members_eq(Find,[E|List],N):- 1046 count_members_eq(Find,List,NN),!, (E == Find -> N is NN+1 ; NN=N).
1054call_not_not(Goal):- \+ \+ . 1055 1056 1057%=
1063contains_badvarnames(Term):- quietly((sub_term(SubV,Term),compound(SubV),SubV='$VAR'(Sub),bad_varnamez(Sub))),!. 1064 1065contains_dvar(Term):-quietly((sub_term(SubV,Term),compound(SubV),SubV='$VAR'(_),!)). 1066 1067%=
1073bad_varnamez(Sub):- atom(Sub),!,sub_string(Sub,_,_,_,'.'). 1074bad_varnamez(Sub):- var(Sub),!. 1075bad_varnamez(Sub):- integer(Sub),!, (Sub < 0 ; Sub > 991000). 1076bad_varnamez(Sub):- number(Sub). 1077bad_varnamez(Sub):- string(Sub),!. 1078bad_varnamez(Sub):- format(atom(A),'~w',['$VAR'(Sub)]),sub_string(A,_,_,_,'$'). 1079 1080 1081%=
1087mpred_numbervars_with_names(Term):- term_variables(Term,Vars),mpred_name_variables(Vars),!,numbervars(Vars,91,_,[attvar(skip),singletons(true)]),!. 1088 1089 1090%=
1096mpred_name_variables([]). 1097mpred_name_variables([Var|Vars]):- 1098 (var_property(Var, name(Name)) -> Var = '$VAR'(Name) ; true), 1099 mpred_name_variables(Vars). 1100 1101 1102%========================================= 1103% unnumbervars 1104%========================================= 1105 1106 1107%=
b_implode_varnames(Vs)
,display(Vs)
.
'$VAR'('Vs')
1115b_implode_varnames(T):- imploded_copyvars(T,TT),T=TT. 1116 1117%=
1124b_implode_varnames0([N=V|Vs]):- sanity(is_list(Vs)),ignore((nonvar(N),V='$VAR'(N);V=N)),b_implode_varnames0(Vs),!. 1125b_implode_varnames0(_). 1126 1127 1128%=
1134imploded_copyvars(C,CT):-vmust((source_variables_l(Vs),copy_term(C-Vs,CT-VVs,_),b_implode_varnames0(VVs))),!.
1141source_variables(Vs):- 1142 (prolog_load_context(variable_names,Vs2);Vs2=[]), 1143 execute_goal_vs(Vs1), 1144 append(Vs1,Vs2,Vs3),list_to_set(Vs3,Vs), 1145 (Vs\==Vs2 -> b_setval('$variable_names',Vs) ; true). 1146 1147source_variables0(Vs):- 1148 (prolog_load_context(variable_names,Vs2);Vs2=[]), 1149 execute_goal_vs(Vs1), 1150 append(Vs1,Vs2,Vs3),list_to_set(Vs3,Vs). 1151 1152 1153% snumbervars(Term,Functor,Start,End,List):-vmust(( vmust(var(End);number(End)),snumbervars4(Term,Start,End,[functor_name(Functor)|List]))),check_varnames(Term). 1154 1155 1156 1157%=
1163check_varnames(Vs):-var(Vs),!. 1164check_varnames([]):-!. 1165check_varnames([N=V|Vs]):-atom(N),var(V),!,check_varnames(Vs). 1166check_varnames(Term):- contains_badvarnames(Term),!,dumpST0,dtrace,nortrace,dtrace,!,dtrace(contains_badvarnames(Term)). 1167check_varnames(_). 1168 1169:-meta_predicate(snumbervars4( , , , )). 1170 1171%=
1177snumbervars4(Term,Start,End,List):- \+ member(attvar(_),List),!,snumbervars5(Term,Start,End,[attvar(skip)|List]). 1178snumbervars4(Term,Start,End,List):- snumbervars5(Term,Start,End,List). 1179 1180:-meta_predicate(snumbervars5( , , , )). 1181 1182%=
1188snumbervars5(Term,Start,End,List):-must_det_l((integer(Start),is_list(List), numbervars(Term,Start,End,List),check_varnames(Term))). 1189 1190:- export(try_save_vars/1). 1191 1192%=
1198try_save_vars(_):- t_l:dont_varname,!. 1199try_save_vars(HB):-ignore((get_varname_list_local(Vs),Vs\==[],save_clause_vars(HB,Vs))),!. 1200 1201:- export(maybe_scan_for_varnames/0). 1202 1203%=
1209maybe_scan_for_varnames:- current_prolog_flag(source_variables, true)->scan_for_varnames;true. 1210 1211:- export(scan_for_varnames/0). 1212 1213:- dynamic(thglobal:scanning_for_varnames_already/0). 1214 1215%=
1221scan_for_varnames:- thglobal:scanning_for_varnames_already,!. 1222scan_for_varnames:- %swc, 1223 setup_call_cleanup( 1224 asserta(thglobal:scanning_for_varnames_already), 1225 scan_for_varnames0, 1226 retractall(thglobal:scanning_for_varnames_already)). 1227 1228scan_for_varnames0:- 1229 set_prolog_flag(source_variables, true), 1230 ensure_loaded(library(make)), 1231 doall((make:modified_file(F),retractall(varname_cache:varname_info_file(F)))), 1232 doall((filematch(swi('boot/*.pl'),F),que_read_source_file_vars(F))), 1233 doall((source_file(F),que_read_source_file_vars(F))),!, 1234 ignore(( 1235 ( \+ \+ varname_cache:queued_read_source_file_vars(_)), 1236 dmsg("Begining grovel for vars..."), 1237 gripe_time(1.0,doall((retract(varname_cache:queued_read_source_file_vars(F)), 1238 read_source_file_vars(F)))))). 1239 1240que_read_source_file_vars(F):-varname_cache:varname_info_file(F),!. 1241que_read_source_file_vars(F):-ain00(varname_cache:queued_read_source_file_vars(F)). 1242 1243%=
1249dcall_if_verbose(G):-!, quietly(G). 1250dcall_if_verbose(G):-show_call(why,G). 1251 1252% list_undefined([module_class([user,system,library,test,temporary,development])]). 1253:- dynamic(varname_cache:varname_info_file/1). 1254:- dynamic(varname_cache:queued_read_source_file_vars/1). 1255 1256%=
1262read_source_file_vars(_):- ( \+ current_prolog_flag(source_variables, true)),!. 1263read_source_file_vars(F):- \+ ((atom(F),exists_file(F))),!, forall(filematch(F,E),read_source_file_vars(E)). 1264read_source_file_vars(F):- clause_asserted(varname_cache:varname_info_file(F)),!. 1265read_source_file_vars(F):- asserta(varname_cache:varname_info_file(F),Ref), catch((read_source_file_vars_1(F)),E,(dmsg(E),erase(Ref))). 1266 1267 1268%=
1274save_file_source_vars(_F,end_of_file,_Vs):-!. 1275save_file_source_vars(_F,_T,[]):-!. 1276save_file_source_vars(F,T,Vs):- put_variable_names(Vs),!,locally(t_l:current_why_source(F),save_clause_vars(T,Vs)),!. 1277 1278 1279 1280%=
1287read_source_vars(File,In):- 1288 Module = module(_), 1289 repeat, 1290 catch(prolog_read_source_term(In, Term, Expanded, [ variable_names(Vs), syntax_errors(error) , term_position(TermPos) ]), 1291 E,(nop((dmsg(E))),fail)), 1292 arg(1,Module,M), 1293 (Term = module(MM,_) -> (nb_setarg(1,Module,MM),fail); 1294 ((stream_position_data(line_count, TermPos, LineNo), 1295 1296 ignore(save_file_source_vars(mfl4(Vs,M,File,LineNo),Term,Vs)), 1297 ( is_list(Expanded) 1298 -> member(T, Expanded) 1299 ; T = Expanded 1300 ), 1301 ( T == end_of_file 1302 -> ! ; 1303 ( T\==Term, save_file_source_vars(mfl4(Vs,M,File,LineNo),T,Vs), 1304 fail))))). 1305 1306 1307% new method 1308 1309%=
1315read_source_file_vars_1('/usr/lib/swi-prolog/library/sandbox.pl'):-!. 1316read_source_file_vars_1(File):- 1317 once(current_prolog_flag(xref, Was);Was=false), 1318 locally(set_prolog_flag(xref, true), 1319 setup_call_cleanup( 1320 prolog_open_source(File, In), 1321 read_source_vars(File,In), 1322 (prolog_close_source(In), 1323 current_prolog_flag(xref, Was)))),!. 1324 1325 1326 1327 1328 1329:- export(ensure_vars_labled/2). 1330 1331 1332mfreeattr_unify_hook(This,That):-get_attr(That,eq,Thats),Thats==This,!. 1333mfreeattr_unify_hook(This,That):-get_attrs(That,Thats),get_attrs(This,Value),Thats==Value,!. 1334never_bound(V):- var(V),!,put_attr(V,eq,_). 1335never_bound(_). 1336 1337starattr_unify_hook(This,That):-This==That. 1338starattr_unify_hook(_,That):-compound(That),That='$VAR'(Atom),nonvar(Atom). 1339only_stars(V):- var(V),!,put_attr(V,star,V). 1340only_stars(_). 1341 1342del_each_attr(M,V):-del_attr(V,M). 1343 1344%=
1350ensure_vars_labled(I,O):-nonvar(O),!,must(ensure_vars_labled(I,M)),!,M=O. 1351ensure_vars_labled(I,I):- (t_l:dont_varname;no_vars_needed(I)),!. 1352% ensure_vars_labled(I,I):- term_variables(I,Vs),maplist(never_bound,Vs),!. 1353% ensure_vars_labled(I,I):- !. 1354ensure_vars_labled(I,OO):- acyclic_term(O),term_variables(I,Vs),all_different_vals(Vs),ensure_vars_labled_r(I,O),vmust(acyclic_term(O)),!,OO=O. 1355ensure_vars_labled(I,OO):- vmust(acyclic_term(I)),term_variables(I,Vs),all_different_vars(Vs),ensure_vars_labled_r(I,O),vmust(acyclic_term(O)),!,OO=O. 1356ensure_vars_labled(I,I). 1357 1358 1359:- multifile(user:portray/1). 1360 1361%=
1368user:portray(A) :- fail, \+ ( nb_current('$inprint_message', Messages), Messages\==[] ), %JUNIT \+ tracing, 1369 catch(quietly(((compound(A);var(A)), current_prolog_flag(source_variables, true), set_prolog_flag(source_variables, false), 1370 call_cleanup((((user:portray(A) -> ! ; print_numbervars_maybe(A)))),set_prolog_flag(source_variables, true)))),E,(writeq(E),nl,fail)). 1371 1372 1373%=
1379print_numbervars(H):- (tlbugger:no_slow_io; tracing),!, writeq(H),!. 1380print_numbervars(H):- must( \+ \+ ((on_x_log_fail(print_numbervars_maybe(H));on_x_log_fail(print_numbervars_1(H))))),!. 1381 1382 1383 1384%=
1390print_numbervars_maybe(H):-(compound(H);var(H)), copy_term(H,HC), \+ \+ ((get_clause_vars(H), HC\=@=H, print_numbervars_1(H))),!. 1391 1392 1393%=
1399print_numbervars_1(H):- loop_check(print_numbervars_2(H),format('~N~q.~n',[H])). 1400 1401% print_numbervars_2(H):- dtrace,baseKB:portray_one_line_hook(H),!. 1402 1403%=
1409print_numbervars_2(H):- current_output(S),prolog_listing:portray_clause(S,H,[portrayed(true),singletons(false)]),!. 1410print_numbervars_2(H):- write_term(H,[portrayed(false)]),nl,!. 1411 1412 1413:- thread_local(t_l:disable_px/0). 1414 1415 1416%=
1422term_expansion_save_vars(HB):- \+ ground(HB), \+ t_l:dont_varname_te,\+ t_l:dont_varname, % \+ current_prolog_flag(xref, true), 1423 current_predicate(listing_vars_file/0), current_prolog_flag(source_variables,true), 1424 source_context_module(M),init_varname_stores(M), 1425 logicmoo_util_with_assertions:locally([t_l:dont_varname_te,t_l:disable_px],try_save_vars(M:HB)),!,fail. 1426 1427 1428without_varname_scan(Goal):- 1429 locally(current_prolog_flag(source_variables,false), 1430 locally([ - t_l:dont_varname_te,- t_l:dont_varname],Goal)). 1431 1432 1433%=
1439maybe_record_scanned_file:-ignore(( source_location(F,_), \+ varname_cache:varname_info_file(F), asserta(varname_cache:varname_info_file(F)))). 1440 1441 1442%=
1448init_varname_stores(_):- !. 1449% init_varname_stores(M):- M:ensure_loaded(logicmoo_util_with_assertions), M:ensure_loaded(util_varnames). 1450 1451 1452:- initialization(maybe_scan_for_varnames). 1453% :- maybe_scan_for_varnames. 1454 1455 1456%=
1462listing_vars_file. 1463 1464 1465%=
prolog:make_hook(before, Files)
:-forall(member(File,Files),retractall(varname_cache:varname_info_file(File)))
.
prolog:make_hook(after, Files)
:- forall(member(File,Files),show_call(why,ain00(varname_cache:varname_info_file(File))))
.
1475%= 1476 1477:- system:use_module(library(debuggery/bugger)). 1478 1479:- fixup_exports.
% % % OFF :- system:use_module(library(logicmoo_utils_all))
.
1487systemterm_expansion((H:-B),_):- current_prolog_flag(source_variables,true),term_expansion_save_vars((H:-B)),fail
Utility LOGICMOO UTIL VARNAMES / Name Prolog variables (debugging)
This module holds utilities to access and change the names of prolog variables.