Reduce dif

Author: hurufu

.gitignore

@@ -2,3 +2,5 @@ src/static_atoms.rs
 target/
 tests/scryer/cli/issues/incorrect_arithmetics.in/chnytjl.pl
 
+
+

src/loader.pl

@@ -35,7 +35,9 @@
     ),
     write('.').
 
+
 :- meta_predicate maplistdif(3, ?, ?, ?).
+
 maplistdif(_, [], [], L-L).
 maplistdif(G__2, [H1|T1], [H2|T2], L0-LX) :-
     call(G__2, H1, H2, L0-L1),
@@ -65,14 +67,14 @@
 arithmetic_term(func, 2, [+,-,/,*,**,^,/\,\/,xor,div,//,rdiv,<<,>>,mod,rem,max,min,gcd,atan2]).
 arithmetic_term(rela, 2, [is,>,<,>=,=<,=:=,=\=]).
 
+
 :- non_counted_backtracking '$print_message_and_fail'/1.
 
 '$print_message_and_fail'(Error) :-
     write_error(Error),
     nl,
     '$fail'.
 
-
 expand_term(Term, ExpandedTerm) :-
     (  '$predicate_defined'(user, term_expansion, 2),
        catch(user:term_expansion(Term, ExpandedTerm0),
@@ -99,6 +101,7 @@
        term_expansion_list(Terms, ExpandedTerms0Tail, ExpandedTermsTail)
     ).
 
+
 :- non_counted_backtracking goal_expansion/3.
 
 goal_expansion(G, _, Gx) :-