benchmark.pl

bench :-
    counter_init,
    count_to(X),
    statistics(walltime,_),
    bench_assert(X),
    statistics(walltime,[_,TimeA]),
    bench_c(X),
    statistics(walltime,[_,TimeB]),
    bench_bb(X),
    statistics(walltime,[_,TimeC]),
    format('Counting to: ~w.~n Assert/Retract: ~w ms~n C-Based: ~w ms~n bb_put: ~w ms ~n', [X,TimeA,TimeB,TimeC]).

bench_assert(X) :-
    assertz(count(0)),
    bench_assert_aux(X).

bench_assert_aux(X) :-
    retract(count(C)),
    C < X, NC is C + 1,
    assertz(count(NC)),
    bench_assert_aux(X).

bench_assert_aux(_).

bench_bb(X) :-
    bb_put(counter,0),
    bench_bb_aux(X).

bench_bb_aux(X) :-
    bb_get(counter,C),
    C < X, NC is C + 1,
    bb_put(counter,NC),
    bench_bb_aux(X).

bench_bb_aux(_).

bench_c(X) :-
    new_counter('my_counter'),
    bench_c_aux('my_counter',X).

bench_c_aux('my_counter',X) :-
    inc_counter('my_counter',C),
    C < X,
    bench_c_aux('my_counter',X).

bench_c_aux(_,_).

count_to(1000000).

test :-
    counter_init,
    next_smaller_float(1.0,R),
    write(next_smaller_float(1.0,R)),nl,
    next_smaller_abs_float(1.0,R2),
    write(next_smaller_abs_float(1.0,R2)),nl,
    next_larger_float(1.0,R3),
    write(next_larger_float(1.0,R3)),nl,
    smallest_float(R4),
    smallest_abs_float(R5),
    largest_float(R6),
    write(smlrg(R4,R5,R6)),nl.