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
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). 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))