3:- module(ec_common_swi,[]).    4
    5:- use_module(library(debug)).    6:- use_module(library(listing)).    7:- use_module(library(prolog_clause)).    8:- use_module(library(logicmoo_common)).    9
   10
   11%writeNoln(P):- write(P),nl. 
   12%writeNoln(P):- write(P),nl. 
   13
   14ticks(Z1):-  statistics(runtime,[Z1,_]).
   15
   16
   17init_gensym(_).
   18
   19prolog_flag(F,Old,New):- ignore(current_prolog_flag(F,Old)),set_prolog_flag(F,New).
   20
   21:- style_check(-singleton).   22/* Emulates the writeNoln(1) function */
   23
   24:- fixup_exports.   25  
   26system:clause_w_names(Head,Body,ClauseRef,file=line_of(Line,File),Vs):-   
   27  clause(Head,Body,ClauseRef),
   28  clause(CHead,CBody,ClauseRef),
   29  term_variables(CHead+CBody,LocalVars),
   30  call(((prolog_clause:clause_info(ClauseRef, File, _TermPos, VarRecs,[variable_names(Vs)]) 
   31  -> 
   32  (  must((VarRecs=_,term_variables(Vs,ClauseVars),
   33     ClauseVars = LocalVars))
   34  ) 
   35  ;
   36  (
   37     Vs= [clauseVars=LocalVars]
   38  )))),
   39  must(((_:Head)+Body = CHead+CBody)),
   40  ignore(clause_property(ClauseRef, line_count(Line))),
   41  ignore(clause_property(ClauseRef, file(File))),
   42  dmsg(clause_w_names(Head,Body,ClauseRef,file=line_of(Line,File),Vs))