:- use_module(library(lists)).
:- use_module(library(time)).

% Is the new unification really fast?


test(2^N, Version) :-
	length(_,N),
	N > 17,
	BN is 2^N,
	length(L, BN),
	time(t(Version, L)).

t(call,L) :-
	call(unify_with_occurs_check(L),V),
	V \= [].
t(direct,L) :-
	unify_with_occurs_check(L,V),
	V \= [].