Commits

Carl Friedrich Bolz committed a640c70

use not not instead of cut

  • Participants
  • Parent commits 502db15
  • Branches benchmarks

Comments (0)

Files changed (1)

 initialize(500).
 benchmark(X, _) :- call_num(X).
 call_num(0).
-call_num(X) :- X > 0, main, !, X0 is X - 1, call_num(X0).
+call_num(X) :- X > 0, \+ (\+ main), X0 is X - 1, call_num(X0).
 
 main :-
 	try(fac(8), _ans1),