2%:- use_module(library(logicmoo_common)).
    3
    4%writenl(P):- write(P),nl. 
    5
    6style_check(_).
    7
    8forall(P,Q) :- \+ (P, \+Q).
    9
   10sub_term(N,N).
   11sub_term(N,T1+T2):- sub_term(N,T1);sub_term(N,T2).
   12
   13ttyflush.
   14
   15%writeln(P):- write(P),nl. 
   16
   17ticks(Z1):-  statistics(runtime,[Z1,_]).
   18
   19:- ensure_loaded('genSymPatches.pl').   20
   21
   22?- prolog_flag(single_var_warnings,_,off).   23
   24
   25clause_w_names(Head,Body,ClauseRef,[allVars=LocalVars,props=Props]):- 
   26  clause(Head,Body,ClauseRef),
   27  findall(Prop,clause_property(ClauseRef, Prop), Props),
   28  term_variables(Head+Body,LocalVars)