abolish :- statistics(runtime, [T1| _]), reset_probhash, retractall(hash(_)), statistics(runtime, [T2| _]), T3 is T2 - T1, write(T3),nl.
Calls:
Name: nl
Name: write/1
Name: is/2
Name: statistics/2
Name: retractall/1
Name: reset_probhash
Called:
Name: test/2
assert_facts(0,_) :- !. assert_facts(N,V) :- add_term(V,_,_),N1 is N-1, V1 is V + 1, assert_facts(N1,V1).
Name: RECURSIVE_CALL/2
Name: add_term/3
Name: !
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).
Name: ==/2
num_to_atom(X,Atom) :- number_codes(X, C),atom_codes(Atom,C).
Name: atom_codes/2
Name: number_codes/2
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.
Name: abolish/0
Name: check_facts/2
Name: assert_facts/2
Name: testbig/0
Name: testsmall/0
testbig :- test(586382774994939529734381865743687401707281126723,1000000).
testsmall :- test(10,1000000).