Benchmarks/benches.pl

   1 :- prolog_load_context(directory, Dir),
   2    working_directory(_, Dir).
   3
   4 benches :-
   5         bench(B),
   6         atom_concat(B, '.chr', File),
   7         style_check(-singleton),
   8         abolish(main,0),
   9         abolish(main,1),
  10         [File],
  11 %       (main;main;main;main),
  12         main,
  13         fail.
  14 benches.
  15
  16 bench(bool).
  17 bench(fib).
  18 bench(fibonacci).
  19 bench(leq).
  20 bench(primes).
  21 bench(ta).
  22 bench(wfs).
  23 bench(zebra).
  24
  25 cputime(Time) :-
  26         statistics(runtime, [_,Time]).