experiment.pl

abolish :- statistics(runtime, [T1| _]),
    reset_probhash, retractall(hash(_)),
    statistics(runtime, [T2| _]), T3 is T2 - T1, write(T3),nl.

add_term(Term, Id, New) :- raw_sha_hash(Term,TH), hash_to_32bit(TH,[H1,H2,H3,H4,H5]),
    ( lookup(H1,H2,H3,H4,H5,X) ->
    New=false, Id=X
    ;
    New = true, gen_new_id(Id), store_hash(H1,H2,H3,H4,H5,Id)).

assert_facts(0,_) :- !.

assert_facts(N,V) :- add_term(V,_,_),N1 is N-1, V1 is V + 1, assert_facts(N1,V1).

assert_hash_h1h2(X,Y) :- hash_h1h2(X,Y) -> true ; assertz(hash_h1h2(X,Y)).

assert_hash_h2h3(X,Y) :- hash_h2h3(X,Y) -> true ; assertz(hash_h2h3(X,Y)).

assert_hash_h3h4(X,Y) :- hash_h3h4(X,Y) -> true ; assertz(hash_h3h4(X,Y)).

assert_hash_h4h5(X,Y) :- hash_h4h5(X,Y) -> true ; assertz(hash_h4h5(X,Y)).

check_facts(0,_) :- !.

check_facts(N,V) :- add_term(V,_,Ex), Ex==false,
    N1 is N-1, V1 is V + 1, check_facts(N1,V1).

gen_new_id(X) :- hash_id(N), retract(hash_id(N)), X is N + 1, assertz(hash_id(X)).

hash_id(0).

lookup(H1,H2,H3,H4,H5,X) :-
    hash_h1h2(H1,H2), hash_h2h3(H2,H3), hash_h3h4(H3,H4), hash_h4h5(H4,H5), hash_h5id(H5,X).

num_to_atom(X,Atom) :- number_codes(X, C),atom_codes(Atom,C).

reset_probhash :-
    retractall(hash_id(_)), assertz(hash_id(0)),
    retractall(hash_h1h2(_,_)), retractall(hash_h2h3(_,_)),
    retractall(hash_h3h4(_,_)), retractall(hash_h4h5(_,_)),
    retractall(hash_h5id(_,_)).

store_hash(H1,H2,H3,H4,H5,X) :-
    assert_hash_h1h2(H1,H2), assert_hash_h2h3(H2,H3), assert_hash_h3h4(H3,H4),
    assert_hash_h4h5(H4,H5), assertz(hash_h5id(H5,X)).

test(OFF,COUNT) :- statistics(runtime, [T1| _]), assert_facts(COUNT,OFF), statistics(runtime, [T2| _]), T3 is T2 - T1, write(T3),nl,
    check_facts(COUNT,OFF), statistics(runtime, [T4| _]),T5 is T4 - T2, write(T5),nl,
    abolish.

testbig :- test(586382774994939529734381865743687401707281126723,1000000).

testsmall :- test(10,1000000).