2%:- use_module(library(logicmoo_common)). 3 4%writenl(P):- write(P),nl. 5 6style_check(_). 7 8forall(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)