:-
   use_module(library(clpr)).

:-
   use_module(library('clpqr/expand')).

:-
   expand.

sizeof([], 0) :- !.
sizeof([_|T], N+1) :- sizeof(T, N).